martintrojer

martintrojer's Stars

• papers-we-love/papers-we-love

  Papers from the computer science community to read and discuss.

  Language:Shell86.5k3.1k2365.7k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.1k1795.5k1.5k

• purescript/purescript

  A strongly-typed language that compiles to JavaScript

  Language:Haskell8.5k1562.4k563

• bitemyapp/learnhaskell

  Learn Haskell

  Language:Makefile8k26341549

• johnmyleswhite/ML_for_Hackers

  Code accompanying the book "Machine Learning for Hackers"

  Language:R3.7k475292.2k

• sdiehl/write-you-a-haskell

  Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

  Language:Haskell3.3k19250256

• sdiehl/wiwinwlh

  What I Wish I Knew When Learning Haskell

  Language:Haskell2.6k950238

• magnars/dash.el

  A modern list library for Emacs

  Language:Emacs Lisp1.7k40198137

• JeffBezanson/femtolisp

  a lightweight, robust, scheme-like lisp implementation

  Language:Scheme1.6k7434119

• hzlmn/haskell-must-watch

  Huge list of videos, talks, courses for Haskell programming language.

  Language:Haskell1.1k82058

• cyberglot/awesome-answers

  Curated list of inspiring and thoughtful answers given on stackoverflow, quora, etc.

  76045478

• jasonhemann/microKanren

  The implementation of microKanren, a featherweight relational programming language

  Language:Scheme30420028

• purescript-spec/purescript-spec

  Testing framework for Purescript

  Language:PureScript13596946

• webyrd/quines

  Relational interpreter in miniKanren that can generate quines

  Language:Scheme12914214

• Soostone/snaplet-persistent

  Snaplet for using Persistent in snap applications

  Language:Haskell1614917

• krisajenkins/kashmir

  Language:Haskell230