shouya / thinking-dumps
This repo keeps track of my codes, answers and thinkings when exploring books.
☆30Updated 6 months ago
Related projects: ⓘ
- ☆49Updated 11 years ago
- Learn You a Lambda, a Haskell Tutorial☆47Updated 7 years ago
- ☆79Updated 6 years ago
- FP & Haskell Paper collection; an better reference https://wiki.haskell.org/Research_papers☆12Updated 7 years ago
- ☆34Updated this week
- All code examples from "The Little Prover" book☆23Updated 8 years ago
- Compile-time metaprogramming for OCaml☆71Updated last month
- Mickey Scheme is an interpreter for R7RS Scheme written in pure C++☆63Updated 7 years ago
- ☆13Updated this week
- Go! Lisp in OCaml☆75Updated 11 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆125Updated 11 years ago
- Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML☆58Updated 13 years ago
- Accepted papers for POPL 2015☆67Updated 8 years ago
- All the ML code examples from the book "The Little MLer"☆86Updated 14 years ago
- ☆73Updated 10 years ago
- ☆19Updated 8 years ago
- ☆84Updated 3 years ago
- ☆59Updated 6 years ago
- ☆33Updated this week
- Optimized JS codegen for Idris☆54Updated 6 years ago
- ☆72Updated this week
- ☆74Updated this week
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- A Scheme interpreter in Python☆14Updated 10 years ago
- My solutions to the popular Haskell tutorial☆74Updated 12 years ago
- evaluation using f-algebras☆22Updated 9 years ago
- Incremental implementation of a scheme compiler☆29Updated 11 years ago
- Just a prototype, but will be improved soon.☆22Updated 9 years ago
- Alef Lazily Evaluates Functions☆31Updated 11 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 7 years ago