organix / myceliaLinks
A bare-metal actor operating system for Raspberry Pi.
☆67Updated 2 months ago
Alternatives and similar repositories for mycelia
Users that are interested in mycelia are comparing it to the libraries listed below
Sorting:
- A simple incomplete Scheme-to-C compiler☆74Updated 3 months ago
- Cheap and fast R7RS Scheme interpreter☆88Updated last month
- SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme☆74Updated 3 years ago
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆59Updated 3 years ago
- A pure-actor virtual machine with object-capabilities and memory-safety.☆90Updated this week
- One-pass Code Generation in V8 (Archive)☆20Updated 3 years ago
- A lisp dialect based on pattern matching and term rewriting☆85Updated last year
- Learning Constraint Programming with Picat☆49Updated last month
- A minimal stack based programming language☆33Updated last year
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- An introduction to the J programming language that gets to the point.☆66Updated 4 months ago
- A fast and portable lisp implemented in forth☆28Updated 4 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- A neural network written in pure Lisp without built-in numbers☆41Updated 3 years ago
- SOM - Simple Object Machine (plain Java implementation)☆19Updated 3 months ago
- okami is an application development platform☆38Updated 3 months ago
- ☆20Updated 2 years ago
- A Small Lisp in Forth☆157Updated 4 years ago
- A fast, zero-copy EDN (Extensible Data Notation) reader written in C11 with SIMD acceleration.☆133Updated last week
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago
- Jonesforth RISC-V port.☆62Updated 4 years ago
- Compact garbage-collected heap and JSON-like object model☆81Updated 2 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- Lisp evaluator in the LIsp for Zick's Lisp implementations☆55Updated 4 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 8 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆94Updated 5 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆124Updated 12 years ago
- A C implementation of the Shen programming language☆70Updated 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