krcz / zygoteLinks
Explorations in area of programming languages: concepts, typing, formal verification
☆18Updated 3 years ago
Alternatives and similar repositories for zygote
Users that are interested in zygote are comparing it to the libraries listed below
Sorting:
- Cell language C++ runtime☆18Updated 4 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 3 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆68Updated 2 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- A PEG that compiles itself.☆76Updated 14 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- small stack machine☆16Updated 4 years ago
- A Tcl distibution for WebAssembly or Javascript☆48Updated 8 years ago
- VM implementations for the RW instructions set architecture☆10Updated 6 years ago
- interpreter devkit☆25Updated 5 years ago
- A collection of libraries in Scheme☆13Updated 4 years ago
- Examples of Beads programs☆111Updated 2 months ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- End to end declarative web programming with no JS using htmx and SWI-Prolog☆13Updated 5 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 3 years ago
- Framework for Effortless Language Servers with Language Servers for SOM, SOMns, and SimpleLanguage☆20Updated last year
- A toy programming language.☆40Updated last year
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Updated 3 weeks ago
- A language for pipe-based programming☆53Updated 2 years ago
- Distributed Lisp interpreter in Erlang.