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
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 4 years ago
- Experiments in bootstrapping from bare-metal☆31Updated 4 years ago
- Making Mes.c M2-Planet friendly☆30Updated 3 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
- SECD microprocessor reimplementation in VHDL☆36Updated 6 years ago
- A bare-metal actor operating system for Raspberry Pi.☆67Updated last month
- quick c☆35Updated 3 years ago
- A C implementation of the Shen programming language☆70Updated 4 years ago
- yoda is an acronym of Yet Onather Delirious Application, implementing a Forth compiler which translates Forth source code to bash functio…☆46Updated 7 months ago
- A reference card for GNU APL☆11Updated 11 months ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- The Pascal-F Verifier☆51Updated 8 years ago
- tiny token-threaded bytecode interpreter in x86 assembly☆44Updated 16 years ago
- arcfide's line editor☆29Updated 2 years ago
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆61Updated 3 years ago
- Portable high-level assembler with authentic C syntax☆25Updated 3 years ago
- Tools to create filesystem images from an fspec filesystem specification.☆16Updated last year
- nqthm - the original Boyer-Moore theorem prover, from 1992☆57Updated 9 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆95Updated 5 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆97Updated 10 years ago
- ☆20Updated 8 years ago
- okami is an application development platform☆39Updated 5 months ago
- An Efficient LALR(1) Parser Generator for Scheme☆54Updated last month
- 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
- Common Lisp DSL for building untyped lambda calculus expressions☆26Updated last year
- ☆18Updated 2 years ago
- APL interpreter and stream processor☆134Updated 5 years ago
- Freeputer ( ) [ ] { } forever free☆40Updated 7 years ago
- Le-Lisp by INRIA☆34Updated 3 years ago