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
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 3 years ago
- Implementation of the Aardappel programming language☆31Updated 7 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- Io ported to WebAssembly using emscripten☆11Updated last year
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Cell language C++ runtime☆18Updated 4 years ago
- Parser, code model, navigable browser and VM for the SOM Smalltalk dialect☆27Updated 2 years ago
- JavaScript implementation of modified version of miniKanren☆32Updated 5 years ago
- Demo of a WAM Prolog implementation in Python☆74Updated last year
- This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…☆89Updated last year
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- Bringing Prolog to the masses.☆36Updated 2 years ago
- A lisp-looking language with interpreter and compiler to JS☆28Updated 5 years ago
- concatenative array language inspired by kdb/+q☆90Updated 3 years ago
- A toy programming language.☆38Updated last year
- A collection of libraries in Scheme☆13Updated 3 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 8 months ago
- Infuse nim into xv6 till it replaces all the "C"☆13Updated 9 years ago
- A Self-Hosting LISP to LLVM-IR Compiler☆27Updated 5 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 4 years ago
- The Kuljet language☆25Updated last week
- Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;☆42Updated 2 years ago
- Lisp-like language to WebAssembly build with racket☆22Updated 7 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 3 years ago
- The Coil Programming Language☆34Updated 11 months ago
- Kanren with databases☆43Updated 6 months ago
- A concise programming language that is fun to use☆16Updated 9 years ago