organix / uForkLinks
A pure-actor virtual machine with object-capabilities and memory-safety.
☆89Updated last week
Alternatives and similar repositories for uFork
Users that are interested in uFork are comparing it to the libraries listed below
Sorting:
- An R7RS Scheme implemented in WebAssembly☆179Updated 2 years ago
- A bare-metal actor operating system for Raspberry Pi.☆67Updated last month
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆142Updated last week
- A simple incomplete Scheme-to-C compiler☆74Updated 2 months ago
- ☆56Updated 5 months ago
- An implementation of the Newspeak programming language☆64Updated 5 months ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆121Updated 6 months ago
- A Forth-like programming language that targets the AbleVM☆51Updated 2 years ago
- A programming argot☆57Updated last year
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆57Updated 3 years ago
- ☆61Updated 2 years ago
- Newspeak is a live object-capability language in the Smalltalk tradition☆153Updated 3 weeks ago
- The Kraken Programming Language☆48Updated last year
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Updated 5 years ago
- A lisp dialect based on pattern matching and term rewriting☆85Updated last year
- Leibniz - a Digital Scientific Notation☆36Updated 6 months ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- A Forth implementation compiling to WebAssembly.☆145Updated 6 years ago
- concatenative array language inspired by kdb/+q☆96Updated 3 years ago
- okami is an application development platform☆38Updated 2 months ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.☆27Updated last year
- A #lang implementation of Lua 5.4 for Racket.☆56Updated last week
- A self-hosting Scheme to WebAssembly compiler☆215Updated 5 years ago
- Maru - a tiny self-hosting lisp dialect☆208Updated last week
- Cheap and fast R7RS Scheme interpreter☆86Updated this week
- ☆103Updated 3 years ago
- No Operating System Project, seeking Dan Ingalls' quote: 'Operating Systems should not exist'. This is the generic platform☆29Updated 6 years ago
- An implementation of interaction nets as a forth-like language.☆37Updated 2 months ago