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
- Cell language C++ runtime☆18Updated 4 years ago
- Implementation of the Aardappel programming language☆31Updated 7 years ago
- A toy programming language.☆39Updated last year
- CHR2 to SQL conversion☆13Updated 9 years ago
- An OCaml bytecode to LLVM compiler☆43Updated 7 years ago
- A collection of libraries in Scheme☆13Updated 4 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 4 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆13Updated 3 years ago
- A DSL for runtime code generation in racket☆67Updated 2 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- Demo of a WAM Prolog implementation in Python☆77Updated last year
- A programming language with first-class modules and algebraic effects.☆15Updated 2 years ago
- miniKanren for search, SMT for solving☆13Updated 5 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
- The Coil Programming Language☆34Updated last year
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- Kanren with databases☆43Updated 7 months ago
- Wasm tooling in Racket.☆41Updated last year
- Bringing Prolog to the masses.☆36Updated 3 years ago
- ☆17Updated 5 years ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Updated this week
- Manfred von Thun's Programming Language Joy☆16Updated 2 months ago
- Parser, code model, navigable browser and VM for the SOM Smalltalk dialect☆27Updated 2 years ago
- a minimal implementation of incremental computation in Scheme☆34Updated 7 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆66Updated 2 years ago
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year