Starred repositories
Multi-dimensional arrays (tensors) and numerical definitions for Elixir
A compiler for a relational programming language for the BEAM written in OCaml
A repo which compares the speed of different programming languages.
Incremental view maintenance & query rewriting for materialized views in DataFusion
Chiasmus is an MCP server that gives language models access to formal verification
Verified compiler from LambdaBox to WebAssembly, C, Rust, and OCaml
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
Logtalk - declarative object-oriented logic programming language
🌸 Possibly the smallest Lua compiler ever
A declarative, efficient, and flexible JavaScript library for building user interfaces.
cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign languag…
An exhaustive collection of type design resources.
Fork of Plan 9 meant for education. https://principia-softwarica.org/
OpenType font that disassembles Z80 instructions
A 3D raycasting engine running inside a TrueType font's hinting virtual machine
Open Source components of Little Snitch for Linux
A small extensible programming language designed for concise expression with little code.
The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic types, existential types, higher kinded types (no partial a…
An uroboros program with 100+ programming languages
Curated list of awesome Esoteric languages and resources
IDE (Interpreter/Debugger Engine) for esoteric programming languages. Allows step-by-step debugging and shows a watch window during debugging. Modular design allows easy adding of new languages.