Skip to content
View rosskopfs's full-sized avatar
💭
Sleeping
💭
Sleeping

Block or report rosskopfs

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. poly-reductions poly-reductions Public

    Forked from BilelGho/poly-reductions

    Polynomial-time reductions in Isabelle/HOL

    Isabelle 7 7

  2. laik laik Public

    Forked from envelope-project/laik

    C

  3. foss_course foss_course Public

    Forked from kappelmann/foss_course

    A university course template to teach about Free and Open-Source Software (FOSS)

    HTML

  4. conway conway Public

    Forked from ChrisPenner/conway

    Conway's game of life in 100 lines or less!

    Haskell

  5. reflex-dom-canvas reflex-dom-canvas Public

    Forked from qfpl/reflex-dom-canvas

    HTML5 Canvas Integration for Reflex Dom

    Haskell

  6. fantastic-waddle fantastic-waddle Public

    Forked from mankyKitty/fantastic-waddle

    Generative Art Experiments using Haskell, GHCJS, and Reflex (FRP)

    Haskell