shouya / thinking-dumps
This repo keeps track of my codes, answers and thinkings when exploring books.
☆30Updated 11 months ago
Alternatives and similar repositories for thinking-dumps:
Users that are interested in thinking-dumps are comparing it to the libraries listed below
- Compile-time metaprogramming for OCaml☆72Updated 7 months ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆126Updated 12 years ago
- Go! Lisp in OCaml☆75Updated 12 years ago
- ☆49Updated 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
- ☆78Updated 7 years ago
- A native compiler for Scheme compliant with R6RS☆200Updated 7 years ago
- ☆85Updated 4 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- ☆68Updated last week
- Learn You a Lambda, a Haskell Tutorial☆47Updated 8 years ago
- An R5RS Scheme in JavaScript.☆16Updated 2 years ago
- ☆96Updated this week
- FP & Haskell Paper collection; an better reference https://wiki.haskell.org/Research_papers☆12Updated 7 years ago
- nanopass compiler framework for Racket☆187Updated last year
- small-but-featureful embeddable lisp interpreter written in haskell.☆115Updated 11 years ago
- miniKanren with a constraint-based negation operator☆10Updated 10 years ago
- All the ML code examples from the book "The Little MLer"☆87Updated 14 years ago
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆29Updated 5 years ago
- Yet Another Scheme Interpreter using flex and bison☆50Updated 2 years ago
- A Python implementation for Racket☆149Updated 6 years ago
- The 2048 game implemented in Racket language☆80Updated 10 years ago
- Accepted papers for POPL 2015☆67Updated 8 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- ☆19Updated 9 years ago
- The Definition of Standard ML (1990)☆124Updated 10 years ago
- Alef Lazily Evaluates Functions☆31Updated 12 years ago
- Exploration of the inner workings of Racket☆19Updated 8 years ago
- A Scheme interpreter in Python☆14Updated 10 years ago