Block or report user



Pinned repositories

  1. boo-lang/boo

    The Boo Programming Language.

    435 C#

  2. idris-cil

    A Common Intermediate Language backend for Idris.

    62 Haskell

  3. unityscript

    A JavaScript implementation based on the Boo programming language.

    62 Boo

  4. IdrisUnityPlayground

    Experiments in Idris / Unity integration.

    31 Idris

  5. gradle/gradle-script-kotlin

    Kotlin language support for Gradle build scripts

    398 Kotlin

  6. purescript-electron

    PureScript FFI bindings for the Electron API

    13 PureScript

1,081 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

October 2016

Created 1 repository

Created a pull request in hellerve/programming-talks that received 1 comment

Dependently Typed Functional Programming in Idris by David Christiansen

1 comment +1 −0

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