Jürgen Nicklisch's repositories
YCombinator
Excercises from riddle book "To mock a Mockingbird"
atom-language-idris
A Idris Mode for Atom.io
Blodwen
A prototype successor to Idris
Language:IdrisNOASSERTION000
generics-sop
Generic Programming using True Sums of Products
Language:HaskellBSD-3-Clause000
graph-editor
Simple editor for creating graphs implemented purely in Elm.
Language:Elm000
Idris-dev
A Dependently Typed Functional Programming Language
Language:HaskellNOASSERTION000
Idris2
A purely functional programming language with first class types
Language:IdrisNOASSERTION000
material-ui
React Components that Implement Google's Material Design.
ProgrammingLanguageFoundations
Part 2 of Software Foundations Books for porting to Idris
purescript-foreign-clone
Clone of purescript-foreign before garyb removed the IsForeign and AsForeign classes
Language:PureScriptMIT000
purescript-math
Math functions
Language:PureScriptMIT000
purescript-quickcheck
A very basic implementation of QuickCheck in PureScript
Language:PureScriptMIT000
rdf4h
rdf4h is a library for working with RDF in Haskell
Language:HaskellBSD-3-Clause000
software-foundations
Software Foundations in Idris
uncrustify
Code beautifier