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:
- One-pass Code Generation in V8 (Archive)☆20Updated 3 years ago
- Cell language C++ runtime☆18Updated 5 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆69Updated 2 years ago
- A Tcl distibution for WebAssembly or Javascript☆86Updated 8 years ago
- Examples of Beads programs☆112Updated 5 months ago
- A language for pipe-based programming☆53Updated 2 years ago
- Framework for Effortless Language Servers with Language Servers for SOM, SOMns, and SimpleLanguage☆20Updated 2 years ago
- A PEG that compiles itself.☆76Updated 15 years ago
- A bare-metal actor operating system for Raspberry Pi.☆67Updated 2 months ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆16Updated 9 years ago
- A parser toolkit☆97Updated 4 years ago
- A live programming environment that lets you see the inner workings of programs☆81Updated 3 years ago
- OMeta for Lua☆13Updated 4 years ago
- ☆104Updated 3 years ago
- ☆61Updated 2 years ago
- Getting started, manuals and tutorials☆55Updated last year
- Cell compiler☆115Updated 2 years ago
- a new web framework, an entire platform really, designed from the ground up to handle complex things easily. Put the power of an entire O…☆132Updated 3 months ago
- Demo of a WAM Prolog implementation in Python☆79Updated 2 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆119Updated 2 weeks ago
- A collection of libraries in Scheme☆13Updated 4 years ago
- A Prolog library to connect to PostgreSQL databases☆106Updated last year
- small stack machine☆16Updated 4 years ago
- Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;☆44Updated 7 months ago
- A lisp-looking language with interpreter and compiler to JS☆28Updated 6 years ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆91Updated 5 years ago
- The Coil Programming Language☆33Updated last year
- A simple program reducer for any language.☆76Updated 2 years ago