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
- One-pass Code Generation in V8 (Archive)☆19Updated 2 years 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 and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 8 years ago
- CHR2 to SQL conversion☆12Updated 9 years ago
- A toy programming language.☆37Updated 9 months ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 3 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- Manfred von Thun's Programming Language Joy☆16Updated this week
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆59Updated 3 years ago
- Infuse nim into xv6 till it replaces all the "C"☆13Updated 8 years ago
- Clean extensible language for describing code, and human-language.☆9Updated last year
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆13Updated 3 years ago
- Implementation of the Aardappel programming language☆31Updated 7 years ago
- A minimal language inspired by Lisp and Haskell☆21Updated 4 years ago
- A high-level programming language☆36Updated last month
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 4 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆30Updated 4 years ago
- various toys in j☆12Updated 2 years ago
- Bringing Prolog to the masses.☆35Updated 2 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
- The Coil Programming Language☆34Updated 7 months ago
- Self-hosting compiler for the Grace programming language☆39Updated 5 months ago
- A programming language and user interface toolkit for creating structured editors.☆19Updated last month
- ☆10Updated 2 years ago
- A concise programming language that is fun to use☆16Updated 8 years ago
- Kempe is a compiled stack-based language☆58Updated last month