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
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- A PEG that compiles itself.☆75Updated 14 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- OMeta for Lua☆13Updated 4 years ago
- A high-level programming language☆39Updated 2 months ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 10 months ago
- A toy programming language.☆39Updated last year
- Implementation of the Aardappel programming language☆31Updated 7 years ago
- A programming language and user interface toolkit for creating structured editors.☆19Updated 6 months ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- interpreter devkit☆25Updated 5 years ago
- Cell language C++ runtime☆18Updated 4 years ago
- A simple, immutable, 100% asynchronous programming language☆13Updated last year
- a Lispy Forth in C++☆26Updated 6 years ago
- An exercise in programming language design and implementation.☆19Updated 3 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 4 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆67Updated 2 years ago
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Updated 2 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 5 years ago
- Io ported to WebAssembly using emscripten☆12Updated last year
- maps are everything.☆10Updated 3 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- The Kollos project [ARCHIVED]☆30Updated 2 years ago
- Charity Programming Language☆39Updated 10 years ago
- Intuitionistic Programming Language☆11Updated 11 years ago
- small stack machine☆16Updated 4 years ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Updated last week
- A meta tracing JIT for x86 and interpreters written in C/C++☆35Updated 8 years ago