oriansj / talk-notesLinks
Collection of notes for talks
☆13Updated last year
Alternatives and similar repositories for talk-notes
Users that are interested in talk-notes are comparing it to the libraries listed below
Sorting:
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Updated 8 years ago
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 4 years ago
- Portable high-level assembler with authentic C syntax☆25Updated 3 years ago
- arcfide's line editor☆29Updated 2 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- tiny token-threaded bytecode interpreter in x86 assembly☆44Updated 16 years ago
- okami is an application development platform☆38Updated 3 months ago
- quick c☆35Updated 3 years ago
- Making Mes.c M2-Planet friendly☆30Updated 3 years ago
- SECD microprocessor reimplementation in VHDL☆35Updated 6 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆94Updated 5 years ago
- Manfred von Thun's Programming Language Joy☆16Updated 11 months ago
- A C implementation of the Shen programming language☆70Updated 3 years ago
- Tools to create filesystem images from an fspec filesystem specification.☆16Updated last year
- Experiments in bootstrapping from bare-metal☆31Updated 4 years ago
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- Common Lisp DSL for building untyped lambda calculus expressions☆26Updated last year
- ☆20Updated 8 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- Command line editor, C api, readline replacement☆26Updated 11 months ago
- blending sam with the shell experiment☆23Updated 6 years ago
- A faithful implementation of the Colossal Cave Adventure in Unlambda☆18Updated 6 years ago
- Prove formulas of Presburger Arithmetic☆11Updated last year
- Le-Lisp by INRIA☆34Updated 2 years ago
- SECD Machine Implementation in x86 Assembly☆24Updated 11 years ago
- An Algebraic, Executable Ur Machine☆37Updated 7 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆97Updated 10 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 8 years ago
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Updated 9 years ago
- A 65C02 Assembly eDSL in Haskell☆17Updated 7 years ago