organix / mycelia
A bare-metal actor operating system for Raspberry Pi.
☆69Updated last year
Related projects ⓘ
Alternatives and complementary repositories for mycelia
- A simple incomplete Scheme-to-C compiler☆66Updated last month
- Cheap and fast R7RS Scheme interpreter☆69Updated last week
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆49Updated 2 years ago
- Plot Cookbook☆50Updated last year
- Guy Steele's RABBIT Scheme compiler☆58Updated 15 years ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 3 years ago
- NASM port of JONESFORTH!☆51Updated last year
- A fast and portable lisp implemented in forth☆28Updated 3 years ago
- an ersatz lisp for tiny birds. a code riff.☆43Updated last year
- ☆43Updated last week
- [Mirror] A close reading of the μKanren paper.☆41Updated 2 years ago
- A lisp dialect based on pattern matching and term rewriting☆84Updated last month
- Common Lisp implementation of the Forth 2012 Standard☆104Updated last week
- A minimal stack based programming language☆32Updated 6 months ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆60Updated 3 years ago
- The SPAIK LISP Programming Language☆41Updated 4 months ago
- A fast, minimal Forth-like interpreter core in C++ with no assembly☆78Updated last year
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- concatenative array language inspired by kdb/+q☆90Updated 2 years ago
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆134Updated this week
- the origins of J☆60Updated last year
- LLVM frontend for the Forth Language☆80Updated 7 months ago
- Concise implementation of a lisp-like language for low-end and embedded devices☆99Updated 11 years ago
- Portable S-expressions (POSE) spec and libs☆30Updated last year
- A Small Lisp in Forth☆153Updated 3 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- A programming argot☆58Updated 7 months ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆49Updated 8 years ago
- An efficient, portable and secure general-purpose virtual machine and virtual network using libable☆26Updated last year
- A #lang implementation of Lua 5.4 for Racket.☆52Updated 10 months ago