jsyeo / Learn-You-PLT-for-Greater-Good
A resource library for PLT, Haskell, ML and compilers.
☆21Updated 11 years ago
Related projects: ⓘ
- Compile-time metaprogramming for OCaml☆71Updated last month
- A small implementation of type inference☆78Updated 9 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆216Updated 6 years ago
- ☆41Updated 8 years ago
- small-but-featureful embeddable lisp interpreter written in haskell.☆115Updated 11 years ago
- A schemy Lisp backed by Haskell☆60Updated 5 years ago
- Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)☆132Updated 7 years ago
- My solutions to the popular Haskell tutorial☆74Updated 12 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆125Updated 11 years ago
- The LVish Haskell library☆81Updated last year
- A collection of resources for learning type theory.☆101Updated 8 years ago
- A programming language that runs in Haskell's type system.☆249Updated 8 years ago
- A Haskell implementation of the Shen programming language.☆162Updated 6 years ago
- PeaCoq is a pretty Coq, isn't it?☆106Updated 3 years ago
- A funny toy programming language project☆29Updated 11 years ago
- ☆49Updated 11 years ago
- History of Programming Languages, Spring 2017☆127Updated 6 years ago
- ☆95Updated 9 years ago
- A purely functional programming language intended for practical programming.☆28Updated 14 years ago
- A bibliography on Gradual Typing☆247Updated 8 months ago
- An Haskell oriented introduction to Category Theory (with basket of cats!)☆61Updated 4 years ago
- All the ML code examples from the book "The Little MLer"☆86Updated 14 years ago
- The Definition of Standard ML (1990)☆122Updated 9 years ago
- An example distributed systems application in Haskell using Cloud Haskell☆69Updated 3 years ago
- Demonstration of implementing a language in Racket☆58Updated 10 years ago
- An implementation of the Raft consensus protocol☆122Updated last year
- Canonical miniKanren implementation in Racket☆83Updated 3 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆99Updated 8 years ago
- Learn You a Lambda, a Haskell Tutorial☆47Updated 7 years ago