Block or report user

Organizations

@idris-lang

Popular repositories

  1. pushbasedFRP

    TimeFlies: Push-Pull Signal-Function Functional Reactive Programming (Master's Thesis)

    Haskell 15

  2. Animas

    a fork of the Yampa combinator library for FRP

    Haskell 7

  3. dom-gnats

    A binding to ghcjs-vdom for time-flies

    Haskell 7 2

  4. mk-dependent-tc

    Typechecker for a dependently typed LC in MiniKanren

    Scheme 2

  5. Idris-dev

    Forked from idris-lang/Idris-dev

    A Dependently Typed Functional Programming Language

    Haskell 1

  6. idris-mode

    Forked from idris-hackers/idris-mode

    Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for emacs.

    Emacs Lisp 1

320 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

May 2017

43 contributions in private repositories May 1 – May 25

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