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 2 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- VM implementations for the RW instructions set architecture☆10Updated 6 years ago
- Io ported to WebAssembly using emscripten☆12Updated last year
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- A language for pipe-based programming☆52Updated 2 years ago
- Cell language C++ runtime☆18Updated 4 years ago
- The Coil Programming Language☆34Updated last year
- A high-level programming language☆39Updated 4 months ago
- Intuitionistic Programming Language☆11Updated 11 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆27Updated 3 months ago
- A Self-Hosting LISP to LLVM-IR Compiler☆27Updated 5 years ago
- Working through the Book Lisp In Small Pieces☆12Updated 2 years ago
- A toy programming language.☆40Updated last year
- Blech is a language for developing reactive, real-time critical embedded software.☆67Updated 2 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 5 years ago
- Framework for Effortless Language Servers with Language Servers for SOM, SOMns, and SimpleLanguage☆19Updated last year
- maps are everything.☆10Updated 3 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Updated last month
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 11 months ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- A simple, immutable, 100% asynchronous programming language☆13Updated last year
- Racket to WebAssembly Compiler☆35Updated 4 months ago
- interpreter devkit☆25Updated 5 years ago
- Lisp-like language to WebAssembly build with racket☆23Updated 7 years ago
- Getting started, manuals and tutorials☆51Updated last year
- Kanren with databases☆43Updated 10 months ago
- SOM - Simple Object Machine☆70Updated 3 months ago
- Implementation of the Aardappel programming language☆31Updated 8 years ago