viswanathgs / The-Little-SchemerLinks
Scheme code snippets from the book "The Little Schemer", 4th edition
☆18Updated 12 years ago
Alternatives and similar repositories for The-Little-Schemer
Users that are interested in The-Little-Schemer are comparing it to the libraries listed below
Sorting:
- ☆50Updated 12 years ago
- All the ML code examples from the book "The Little MLer"☆87Updated 15 years ago
- FP & Haskell Paper collection; an better reference https://wiki.haskell.org/Research_papers☆12Updated 8 years ago
- Implementation of the languages from the EOPL textbook in Haskell and Standard ML.☆15Updated 5 years ago
- An Haskell oriented introduction to Category Theory (with basket of cats!)☆63Updated 5 years ago
- Scheme code snippets from the book "The Seasoned Schemer", by Daniel P. Friedman and Matthias Felleisen.☆13Updated 12 years ago
- Learn You a Lambda, a Haskell Tutorial☆47Updated 8 years ago
- Optimized JS codegen for Idris☆54Updated 6 years ago
- MLpolyR☆7Updated 8 years ago
- A tiny scheme interpreter in Haskell☆24Updated 5 years ago
- Programs that are used in the Cousineau/Mauny books☆31Updated 3 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆21Updated 3 years ago
- A Scheme interpreter in Haskell☆9Updated 11 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆73Updated 7 years ago
- Template repo for theorem proving in Liquid Haskell☆32Updated 6 years ago
- IntelliJ plugin for several experimental programming languages here☆35Updated 3 years ago
- Compile-time metaprogramming for OCaml☆74Updated 10 months ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- Presentation/code from my talk at London HUG☆57Updated 12 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated 10 months ago
- Accepted papers for Haskell 2014☆52Updated 9 years ago
- Working through Type-Driven Development with Idris☆24Updated 8 years ago
- A Haskell parser for JVM bytecode files☆38Updated last year
- An exploration and implementation of the lambda calculus.☆12Updated 8 years ago
- A PLT Redex implementation of Featherweight Java☆16Updated 12 years ago
- new generation language☆20Updated 11 years ago
- Haskell implementation of P4F Control-Flow Analysis☆21Updated 3 years ago
- The MLPolyR programming language, revived☆24Updated 4 years ago
- ☆78Updated 7 years ago
- Library for automatic unit testing of Standard ML modules☆71Updated 4 years ago