jsyeo / Learn-You-PLT-for-Greater-GoodLinks
A resource library for PLT, Haskell, ML and compilers.
☆21Updated 12 years ago
Alternatives and similar repositories for Learn-You-PLT-for-Greater-Good
Users that are interested in Learn-You-PLT-for-Greater-Good are comparing it to the libraries listed below
Sorting:
- small-but-featureful embeddable lisp interpreter written in haskell.☆115Updated 12 years ago
- Revive Hugs98 from its last official self-contained distribution.☆40Updated 11 months ago
- Relational Programming in miniKanren☆52Updated 10 years ago
- Compile-time metaprogramming for OCaml☆75Updated last year
- [UNMAINTAINED] The Concurrent Schemer☆120Updated 10 years ago
- My solutions to the popular Haskell tutorial☆76Updated 13 years ago
- Techniques, advice, and anecdotes about how to teach Functional Programming☆57Updated 9 years ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- A schemy Lisp backed by Haskell☆60Updated 7 years ago
- 🧊 Чиста система з всесвітами☆148Updated 6 months ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 9 years ago
- A small implementation of type inference☆80Updated 10 years ago
- Haskell subset compiled to the Beam machine.☆42Updated 11 years ago
- We read computer science books for fun. This is where the secret notes live.☆79Updated 4 years ago
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 11 years ago
- Kenichi Asai's reflective programming language Black☆198Updated 3 years ago
- A Haskell implementation of the Shen programming language.☆168Updated 7 years ago
- Demonstration of implementing a language in Racket☆58Updated 11 years ago
- A series of progressively more complex programming languages☆36Updated 11 years ago
- ☆49Updated 12 years ago
- A simple http server written in Prolog☆30Updated 9 years ago
- Solving "99 List Problems" using Objective Caml☆84Updated 7 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 10 years ago
- Erlang Backend for Idris Compiler☆187Updated 8 years ago
- A bibliography on Gradual Typing☆254Updated 2 years ago
- Server for stable, curated Haskell package sets☆109Updated last month
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 4 years ago
- ☆96Updated 11 years ago
- ☆94Updated 9 years ago
- An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.☆12Updated 10 years ago