Skip to content
Avatar

Achievements

Achievements

Block or Report

Block or report stefan-hoeck

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.

Report abuse

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

Report abuse

Popular repositories

  1. Utilities and documentation for exploring idirs2's new elaborator reflection.

    Idris 66 9

  2. Javascript DOM bindings for Idris2

    Idris 33 5

  3. dire Public

    A pure Functional Reactive Programming implementation using a discrete time model

    Scala 30 5

  4. Idris port of Haskell's sop-core library

    Idris 28 1

  5. An Idris port of the Haskell Hedghog library

    Idris 22 1

993 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr Mon Wed Fri

Contribution activity

April 2022

Opened 20 pull requests in 10 repositories
stefan-hoeck/idris2-tutorial 1 open 6 merged
stefan-hoeck/idris2-prim 5 merged
stefan-hoeck/idris2-bytestring 1 merged
stefan-hoeck/idris2-hedgehog 1 open
stefan-hoeck/idris2-json 1 merged
stefan-hoeck/idris2-rhone-js 1 merged
stefan-hoeck/idris2-rhone 1 merged
stefan-hoeck/idris2-dom 1 merged
stefan-hoeck/idris2-sop 1 merged
stefan-hoeck/idris2-elab-util 1 merged

Seeing something unexpected? Take a look at the GitHub profile guide.