krcz / zygote
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
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- A toy programming language.☆40Updated last year
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- A PEG that compiles itself.☆76Updated 14 years ago
- Intuitionistic Programming Language☆11Updated 11 years ago
- Implementation of the Aardappel programming language☆31Updated 7 years ago
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- Racket to WebAssembly "compiler".☆32Updated 4 years ago
- Cell language C++ runtime☆18Updated 4 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- Manfred von Thun's Programming Language Joy☆16Updated 3 months ago
- maps are everything.☆10Updated 3 years ago
- Kanren with databases☆43Updated 9 months ago
- Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript☆11Updated 3 years ago
- OMeta for Lua☆13Updated 4 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- A lisp-looking language with interpreter and compiler to JS☆28Updated 5 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- ☆30Updated 4 years ago
- A concise programming language that is fun to use☆16Updated 9 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 5 years ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Updated 3 weeks ago
- Wasm tooling in Racket.☆43Updated last year
- A port of Falling Turnip from Haskell to Futhark and Go☆22Updated 6 months ago
- The Déjà Vu programming language☆15Updated 10 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Yet another PEG parser combinator library and DSL☆56Updated last year
- Freeputer ( ) [ ] { } forever free☆39Updated 6 years ago
- A programming language and user interface toolkit for creating structured editors.☆19Updated 7 months ago