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 2 years ago
- A PEG that compiles itself.☆76Updated 14 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- The Coil Programming Language☆33Updated last year
- A Tcl distibution for WebAssembly or Javascript☆48Updated 8 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Examples of Beads programs☆108Updated 3 weeks ago
- Cell compiler☆114Updated 2 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- Getting started, manuals and tutorials☆52Updated last year
- A new declarative programming language☆23Updated 4 years ago
- A dynamic language inspired by Python and E.☆79Updated 4 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- A language for pipe-based programming☆52Updated 2 years ago
- ☆60Updated last year
- Implementation of the Aardappel programming language☆31Updated 8 years ago
- A high-level programming language☆39Updated 5 months ago
- Blech is a language for developing reactive, real-time critical embedded software.☆68Updated 2 years ago
- ☆100Updated 3 years ago
- A parser toolkit☆97Updated 4 years ago
- JavaScript implementation of modified version of miniKanren☆34Updated 6 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆61Updated 5 years ago
- A toy programming language.☆40Updated last year
- A virtual machine for Monte.☆69Updated last year
- This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…☆89Updated 2 years ago
- SOM - Simple Object Machine☆71Updated last week
- An exercise in programming language design and implementation.☆19Updated 3 years ago
- Editor for language composition☆58Updated 2 years ago
- A programming language and user interface toolkit for creating structured editors.☆20Updated 9 months ago