oriansj / talk-notesLinks
Collection of notes for talks
☆13Updated 2 years ago
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
- Experiments in bootstrapping from bare-metal☆31Updated 4 years ago
- Making Mes.c M2-Planet friendly☆30Updated 3 years ago
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 4 years ago
- SECD microprocessor reimplementation in VHDL☆36Updated 6 years ago
- Portable high-level assembler with authentic C syntax☆25Updated 3 years ago
- arcfide's line editor☆29Updated 2 years ago
- ☆20Updated 8 years ago
- Bootstrapping tools for Janneke's MES☆36Updated 3 months ago
- okami is an application development platform☆39Updated 5 months ago
- A faithful implementation of the Colossal Cave Adventure in Unlambda☆18Updated 6 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- The Pascal-F Verifier☆51Updated 8 years ago
- yoda is an acronym of Yet Onather Delirious Application, implementing a Forth compiler which translates Forth source code to bash functio…☆46Updated 6 months ago
- Common Lisp DSL for building untyped lambda calculus expressions☆26Updated last year
- A bare-metal actor operating system for Raspberry Pi.☆67Updated last month
- Tools to create filesystem images from an fspec filesystem specification.☆16Updated last year
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Updated 13 years ago
- Le-Lisp by INRIA☆34Updated 3 years ago
- A reference card for GNU APL☆11Updated 11 months ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆97Updated 10 years ago
- tiny token-threaded bytecode interpreter in x86 assembly☆44Updated 16 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆57Updated 9 years ago
- A C implementation of the Shen programming language☆70Updated 4 years ago
- Prove formulas of Presburger Arithmetic☆11Updated last year
- A just-in-time-compiling forth system using libfirm.☆57Updated 8 years ago
- Book and code: how to build and distribute applications in Dyalog APL☆32Updated 6 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆95Updated 5 years ago
- A lisp dedicated to bnl intended for use under 2.11BSD on a PDP-11☆21Updated 3 years ago
- FUSE-based 9P client from the Plan9 Port project, standalone version☆34Updated 2 years ago