organix / myceliaLinks
A bare-metal actor operating system for Raspberry Pi.
☆67Updated 3 weeks 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 5 months ago
- SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme☆76Updated 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…☆60Updated 3 years ago
- Cheap and fast R7RS Scheme interpreter☆89Updated 3 weeks ago
- A pure-actor virtual machine with object-capabilities and memory-safety.☆90Updated this week
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Learning Constraint Programming with Picat☆51Updated 2 months ago
- A compiler for an Ada-like language☆32Updated 8 months ago
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- Plot Cookbook☆51Updated 2 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆85Updated last week
- A lisp dialect based on pattern matching and term rewriting☆85Updated last year
- okami is an application development platform☆39Updated 4 months ago
- One-pass Code Generation in V8 (Archive)☆20Updated 3 years ago
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- Compact garbage-collected heap and JSON-like object model☆81Updated 2 years ago
- A fast and portable lisp implemented in forth☆28Updated 4 years ago
- A neural network written in pure Lisp without built-in numbers☆42Updated 3 years ago
- A Forth-like programming language that targets the AbleVM☆55Updated 2 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- Jonesforth RISC-V port.☆62Updated 5 years ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago
- An introduction to the J programming language that gets to the point.☆68Updated last month
- A minimal stack based programming language☆33Updated last year
- LLVM frontend for the Forth Language☆90Updated last year
- A fast, minimal Forth-like interpreter core in C++ with no assembly☆105Updated 11 months ago
- A Verilog dialect supercharged by the Racket meta-fairies.☆57Updated 6 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆126Updated 12 years ago
- Omnino is a windowing system for web applications.☆57Updated 2 years ago
- ☆20Updated 2 years ago