void4 / notesLinks
Notes, Questions, Ideas
☆23Updated 8 years ago
Alternatives and similar repositories for notes
Users that are interested in notes are comparing it to the libraries listed below
Sorting:
- A pure-actor virtual machine with object-capabilities and memory-safety.☆90Updated last week
- An implementation of the Newspeak programming language☆65Updated 4 months ago
- An Algebraic, Executable Ur Machine☆37Updated 6 years ago
- A PEG that compiles itself.☆76Updated 15 years ago
- A web application server with built-in object capability security built on Node.js/Express☆15Updated 4 years ago
- a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…☆16Updated 3 years ago
- A low-level virtual machine for mobile code☆12Updated 8 years ago
- An alternative to Urbit☆94Updated 8 years ago
- Resource Aware, Recursive Virtual Machine☆10Updated 2 years ago
- A virtual machine for Monte.☆69Updated last month
- stack-based RPN functional programming language☆54Updated 7 years ago
- SECD microprocessor reimplementation in VHDL☆35Updated 5 years ago
- things that don't deserve their own repo☆64Updated 3 months ago
- Noether programming language☆127Updated 8 years ago
- A programming argot☆58Updated last year
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- combined object/lambda architcture☆25Updated 16 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆37Updated 13 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆170Updated this week
- A Forth implementation compiling to WebAssembly.☆144Updated 6 years ago
- Tiny Object Run Time☆24Updated 10 years ago
- An implementation of interaction nets as a forth-like language.☆37Updated 2 months ago
- A concise programming language that is fun to use☆17Updated 9 years ago
- A strongly typed Forth-like language ultimately intended to make it easy to build DSLs with an actor concurrency model. Implemented in Er…☆23Updated 8 months ago
- a readable language that grows from the silicon☆60Updated 2 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆124Updated 12 years ago
- the Context distribution of the Smalltalk programming language :: live discussion at https://squeak.slack.com☆38Updated last year
- Re-implementation of part of Douglas Engelbart's Augment system onto the web☆56Updated 11 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