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:
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- Intuitionistic Programming Language☆11Updated 11 years ago
- Cell language C++ runtime☆18Updated 4 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- A toy programming language.☆40Updated last year
- A Self-Hosting LISP to LLVM-IR Compiler☆27Updated 5 years ago
- A high-level programming language☆39Updated 5 months ago
- maps are everything.☆10Updated 3 years ago
- The Coil Programming Language☆33Updated last year
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last year
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- A port of Falling Turnip from Haskell to Futhark and Go☆22Updated 7 months ago
- An exercise in programming language design and implementation.☆19Updated 3 years ago
- An experimental language with compile time bounds checking☆15Updated 5 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆68Updated 2 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- 🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax☆15Updated 4 years ago
- McLulang: The message is the language☆11Updated 9 months ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- interpreter devkit☆25Updated 5 years ago
- A meta-circular interpreter of a subset of Scheme☆15Updated 5 years ago
- A simple, immutable, 100% asynchronous programming language☆13Updated last year
- SOM - Simple Object Machine (plain Java implementation)☆19Updated 4 months ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 5 years ago
- small stack machine☆16Updated 4 years ago
- A hypothetical message-based programming language inspired by Smalltalk, Self, Erlang, Clojure and sci-fi and biology☆21Updated 4 years ago
- A programming language with first-class modules and algebraic effects.☆14Updated 2 years ago
- Bringing Prolog to the masses.☆36Updated 3 years ago