dstcruz / Write-Yourself-A-Scheme-In-48-HoursLinks
My solutions to the popular Haskell tutorial
☆76Updated 13 years ago
Alternatives and similar repositories for Write-Yourself-A-Scheme-In-48-Hours
Users that are interested in Write-Yourself-A-Scheme-In-48-Hours are comparing it to the libraries listed below
Sorting:
- ☆49Updated 12 years ago
- A full implementation of the Scheme programming language for the Haskell Platform.☆315Updated last year
- All the ML code examples from the book "The Little MLer"☆86Updated 15 years ago
- Pearls of Functional Algorithm Design by Richard Bird - Haskell Code☆190Updated 9 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆127Updated 12 years ago
- Let's Build a Compiler (in Haskell)☆169Updated 5 years ago
- A book on programming languages, using Haskell☆166Updated 4 years ago
- Classic Algorithm W for type inference.☆254Updated 15 years ago
- An Haskell oriented introduction to Category Theory (with basket of cats!)☆63Updated 5 years ago
- The Definition of Standard ML (1990)☆124Updated 10 years ago
- Various interesting articles, in PDF or PS form☆239Updated 12 years ago
- Compile-time metaprogramming for OCaml☆74Updated last year
- Learn You a Lambda, a Haskell Tutorial☆47Updated 8 years ago
- A collection of resources for learning type theory.☆99Updated 9 years ago
- Relational interpreter in miniKanren that can generate quines☆132Updated 10 years ago
- small-but-featureful embeddable lisp interpreter written in haskell.☆115Updated 12 years ago
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆353Updated last year
- (ARCHIVE) Raku User's Golfing System in Haskell☆85Updated 4 years ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆102Updated 10 years ago
- a book about ocaml☆187Updated 8 years ago
- nanopass compiler framework for Racket☆189Updated last year
- Alef Lazily Evaluates Functions☆32Updated 12 years ago
- Exercism exercises in Racket.☆43Updated 2 weeks ago
- ☆51Updated 2 years ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆324Updated 4 years ago
- An Open Encyclopedia of Proof Systems☆119Updated 3 years ago
- The compiler for subset of scheme developed as part of P523☆30Updated 8 years ago
- Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"☆151Updated last month
- Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML☆58Updated 14 years ago
- CN MonaD.ReadeR Reading Group☆107Updated 9 years ago