hlopko / architecture_of_symbolic_computers_notesLinks
My notes from reading this amazing book by Peter M. Kogge.
☆23Updated 11 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
Sorting:
- A programming argot☆58Updated last year
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆38Updated 13 years ago
- Guy Steele's RABBIT Scheme compiler☆61Updated 16 years ago
- Python interpreter for Peter Landin's SECD abstract machine.☆42Updated 12 years ago
- A virtual machine for the Self language, written entirely in Self, and a development environment for that VM.☆44Updated 16 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/☆41Updated 4 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- the Art of the Propagator☆52Updated 12 years ago
- A Verilog dialect supercharged by the Racket meta-fairies.☆57Updated 6 years ago
- minikanren mips assembler/disassembler☆33Updated 10 years ago
- Terminal emulator in racket☆42Updated last year
- An object-oriented dialect of Scheme☆61Updated 3 years ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 13 years ago
- a minimal implementation of incremental computation in Scheme☆36Updated 8 years ago
- Data Structure Optimization for Functional Programs☆34Updated 6 years ago
- A BASIC-flavored Lisp dialect☆72Updated 2 years ago
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- exploration of reflective architectures in Scheme☆20Updated 3 years ago
- combined object/lambda architcture☆25Updated 16 years ago
- Generic collections API for Racket☆52Updated 3 years ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆36Updated 11 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Updated 5 years ago
- Example Racket games and demos using the 'How to Design Programs' framework with sprites, worlds, animation and game logic.☆31Updated 5 years ago
- Racket-based implementation of Adapton☆22Updated 6 years ago
- A Racket-based Forth / Macro Assembler on steroids for PIC18F☆40Updated 2 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 4 years ago
- s7 Scheme☆58Updated 6 years ago
- ProjecturEd is a generic purpose projectional editor.☆142Updated 3 years ago
- Don't Lisp, Talk!☆57Updated last year