- pipescape 17 An in-browser graphical editor for XML pipelines - specifically a WireIt interface to XProc
- MusicPath 9 Prototype implementation of a linked data community wiki of local music scene relationships.
- funes 6 A DRY, dynamic linked data web framework
- online-typechecker 6 Start of an in-browser live typechecking editor for Idris
- xmonad-utils 5 A small collection of X utilities useful when running XMonad.
Repositories contributed to
- idris-lang/Idris-dev 1,111 A Dependently Typed Functional Programming Language
- david-christiansen/idris-type-providers 39 Type provider library for Idris
- ekmett/trifecta 118 Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink
- OlegYch/multibot 2 An IRC bot that tries to support multiple languages
- scalaz/scalaz 2,353 An extension to the core Scala library for functional programming.
Contributions in the last year 76 total Feb 11, 2015 – Feb 11, 2016
Longest streak 5 days October 26 – October 30
Current streak 0 days Last contributed