Beast code in Giters

Martin Trojer's starred repositories

Papers from the computer science community to read and discuss.

Language:Shell85689 3107 236

The Z3 Theorem Prover

Language:C++NOASSERTION10016 179 5443

A strongly-typed language that compiles to JavaScript

Language:HaskellNOASSERTION8516 157 2358

Learn Haskell

Language:MakefileCC0-1.07938 263 41

Code accompanying the book "Machine Learning for Hackers"

Language:R3661 475 29

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

Language:HaskellMIT3332 192 50

What I Wish I Knew When Learning Haskell

Language:HaskellNOASSERTION2552 950

A modern list library for Emacs

Language:Emacs LispGPL-3.01649 40 198

a lightweight, robust, scheme-like lisp implementation

Language:SchemeBSD-3-Clause1565 74 34

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

Language:HaskellMIT1118 820

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

The implementation of microKanren, a featherweight relational programming language

Language:Scheme303 200

Testing framework for Purescript

Language:PureScriptMIT135 9 69

Relational interpreter in miniKanren that can generate quines

Language:Scheme130 14 2

Snaplet for using Persistent in snap applications

Language:HaskellBSD-3-Clause16 14 9

Language:HaskellEPL-1.02 30