martintrojer's Stars
papers-we-love/papers-we-love
Papers from the computer science community to read and discuss.
Z3Prover/z3
The Z3 Theorem Prover
purescript/purescript
A strongly-typed language that compiles to JavaScript
bitemyapp/learnhaskell
Learn Haskell
johnmyleswhite/ML_for_Hackers
Code accompanying the book "Machine Learning for Hackers"
sdiehl/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
sdiehl/wiwinwlh
What I Wish I Knew When Learning Haskell
magnars/dash.el
A modern list library for Emacs
JeffBezanson/femtolisp
a lightweight, robust, scheme-like lisp implementation
hzlmn/haskell-must-watch
Huge list of videos, talks, courses for Haskell programming language.
cyberglot/awesome-answers
Curated list of inspiring and thoughtful answers given on stackoverflow, quora, etc.
jasonhemann/microKanren
The implementation of microKanren, a featherweight relational programming language
purescript-spec/purescript-spec
Testing framework for Purescript
webyrd/quines
Relational interpreter in miniKanren that can generate quines
Soostone/snaplet-persistent
Snaplet for using Persistent in snap applications
krisajenkins/kashmir