shouya / thinking-dumpsLinks
This repo keeps track of my codes, answers and thinkings when exploring books.
☆31Updated last year
Alternatives and similar repositories for thinking-dumps
Users that are interested in thinking-dumps are comparing it to the libraries listed below
Sorting:
- ☆50Updated 12 years ago
- Mickey Scheme is an interpreter for R7RS Scheme written in pure C++☆63Updated 7 years ago
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- ☆73Updated 11 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆126Updated 12 years ago
- Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML☆58Updated 14 years ago
- Compile-time metaprogramming for OCaml☆73Updated 10 months ago
- ☆78Updated 7 years ago
- ☆86Updated 4 years ago
- Learn You a Lambda, a Haskell Tutorial☆47Updated 8 years ago
- Accepted papers for POPL 2015☆66Updated 9 years ago
- Go! Lisp in OCaml☆75Updated 12 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆15Updated 12 years ago
- ☆59Updated 7 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- https://openpal.github.io/TypeAndProof/☆99Updated 8 years ago
- FP & Haskell Paper collection; an better reference https://wiki.haskell.org/Research_papers☆12Updated 8 years ago
- ☆14Updated 9 years ago
- ☆70Updated 2 weeks ago
- The compiler for subset of scheme developed as part of P523☆30Updated 8 years ago
- small-but-featureful embeddable lisp interpreter written in haskell.☆115Updated 12 years ago
- a compiler from a subset of Scheme into X64☆30Updated 11 years ago
- A Scheme to x86-64 compiler in Scheme☆79Updated 10 years ago
- A small implementation of type inference☆78Updated 10 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆29Updated 5 years ago
- ☆19Updated 9 years ago
- Reference implementation for the Essentials of Compilation course☆17Updated 9 years ago
- A native compiler for Scheme compliant with R6RS☆200Updated 7 years ago
- Bytecode compiler of a variant of Caml☆34Updated 10 years ago