hlopko / architecture_of_symbolic_computers_notes
My notes from reading this amazing book by Peter M. Kogge.
☆23Updated 10 years ago
Alternatives and similar repositories for architecture_of_symbolic_computers_notes:
Users that are interested in architecture_of_symbolic_computers_notes are comparing it to the libraries listed below
- A programming argot☆58Updated 11 months ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆37Updated 12 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- Guy Steele's RABBIT Scheme compiler☆60Updated 15 years ago
- experimental computational medium and supporting tools☆22Updated this week
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- Python interpreter for Peter Landin's SECD abstract machine.☆42Updated 11 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated last year
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 4 years ago
- ☆17Updated 5 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- A virtual machine for the Self language, written entirely in Self, and a development environment for that VM.☆44Updated 15 years ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 12 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- Data Structure Optimization for Functional Programs☆33Updated 6 years ago
- ☆19Updated last year
- minikanren mips assembler/disassembler☆29Updated 10 years ago
- A microKanren framework for implementing constraints.☆18Updated 6 years ago
- Le-Lisp by INRIA☆28Updated 2 years ago
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- A parser tool for Racket with an expressive grammar notation☆20Updated 10 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆13Updated 3 years ago
- A functional concatenative language implemented in Linux/AMD64 machine code and self-modifying perl☆17Updated 8 years ago
- s7 Scheme☆58Updated 6 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆50Updated 8 years ago
- Tiny Object Run Time☆21Updated 9 years ago
- A PEG that compiles itself.☆75Updated 14 years ago
- An object-oriented dialect of Scheme☆59Updated 2 years ago