krcz / zygote
Explorations in area of programming languages: concepts, typing, formal verification
☆18Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for zygote
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Cell language C++ runtime☆17Updated 4 years ago
- okami is an application development platform☆33Updated 3 months ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆62Updated 5 months ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆15Updated 4 years ago
- Implementation of the Aardappel programming language☆31Updated 7 years ago
- One-pass Code Generation in V8 (Archive)☆19Updated 2 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆64Updated last year
- An implementation of the Newspeak programming language☆58Updated 2 weeks ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 3 years ago
- Io ported to WebAssembly using emscripten☆11Updated last year
- A programming argot☆58Updated 7 months ago
- Distributed Lisp interpreter in Erlang.☆11Updated 7 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆26Updated 5 months ago
- a stack-based concatenative virtual machine for implementing highly concurrent languages☆45Updated 8 months ago
- A toy programming language.☆37Updated 10 months ago
- A PEG that compiles itself.☆73Updated 14 years ago
- Wasm tooling in Racket.☆40Updated last year
- A datalog implementation in pure Lua (LPEG parser).☆22Updated last year
- Chart parser (Earley SPPF)☆27Updated 5 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆15Updated 4 years ago
- A concise programming language that is fun to use☆16Updated 8 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆13Updated 3 years ago
- A DSL for runtime code generation in racket☆66Updated 2 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆30Updated 4 years ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 2 years ago
- interpreter devkit☆24Updated 5 years ago
- A Self-Hosting LISP to LLVM-IR Compiler☆26Updated 5 years ago