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
- A Tcl distibution for WebAssembly or Javascript☆87Updated 8 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆69Updated 2 years ago
- A language for pipe-based programming☆53Updated 3 years ago
- A bare-metal actor operating system for Raspberry Pi.☆67Updated last week
- A parser toolkit☆97Updated 4 years ago
- The Coil Programming Language☆33Updated last year
- A collection of libraries in Scheme☆13Updated 4 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆16Updated 9 years ago
- Cell compiler☆116Updated 2 years ago
- SOM - Simple Object Machine (plain Java implementation)☆19Updated 4 months ago
- turn a directory into a GUI, slash example of VNC-based GUI☆32Updated 4 years ago
- A live programming environment that lets you see the inner workings of programs☆81Updated 3 years ago
- A PEG that compiles itself.☆76Updated 15 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 4 years ago
- OMeta for Lua☆13Updated 4 years ago
- A toy programming language.☆41Updated last year
- A programming language and user interface toolkit for creating structured editors.☆20Updated last year
- Intuitionistic Programming Language☆12Updated 11 years ago
- Examples of Beads programs☆112Updated 6 months ago
- A fast, zero-copy EDN (Extensible Data Notation) reader written in C11 with SIMD acceleration.☆165Updated this week
- Lisp evaluator in the LIsp for Zick's Lisp implementations☆56Updated 4 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- a simple x86/arm jit framework for c☆37Updated 2 months ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆125Updated 12 years ago
- Framework for Effortless Language Servers with Language Servers for SOM, SOMns, and SimpleLanguage☆20Updated 2 years ago
- A dynamic language inspired by Python and E.☆79Updated 5 years ago