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 3 years ago
- Cell language C++ runtime☆18Updated 5 years ago
- small stack machine☆16Updated 4 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆69Updated 2 years ago
- A Tcl distibution for WebAssembly or Javascript☆87Updated 8 years ago
- A toy programming language.☆41Updated last year
- The Coil Programming Language☆33Updated last year
- A language for pipe-based programming☆53Updated 3 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 4 years ago
- SOM - Simple Object Machine (plain Java implementation)☆19Updated 4 months ago
- Getting started, manuals and tutorials☆55Updated last year
- A PEG that compiles itself.☆76Updated 15 years ago
- a new web framework, an entire platform really, designed from the ground up to handle complex things easily. Put the power of an entire O…☆132Updated 3 months ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- A bare-metal actor operating system for Raspberry Pi.☆67Updated last week
- A collection of libraries in Scheme☆13Updated 4 years ago
- OMeta for Lua☆13Updated 4 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆16Updated 9 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Updated 5 years ago
- Implementation of the Aardappel programming language☆31Updated 8 years ago
- A C implementation of the Shen programming language☆70Updated 3 years ago
- single file scheme interpreter with tail call optimization☆82Updated 6 years ago
- Cell compiler☆116Updated 2 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 4 years ago
- Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/☆41Updated 4 years ago
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Updated 7 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Updated 4 months ago
- A programming argot☆57Updated last year
- A hypothetical message-based programming language inspired by Smalltalk, Self, Erlang, Clojure and sci-fi and biology☆21Updated 4 years ago