Starred repositories
A programming language for libraries translated to all the others
A sophisticated semantic network system capable of encoding inference rules within the network itself. Built for efficient memory usage and powerful logical reasoning, zelph can process the entire …
⛔ A lightweight website blocker with a user friendly interface
DuckDB extension that adds support for SQL/PGQ and graph algorithms
A functional language with algebraic effects, multishot continuations, and native codegen
Dependently typed Clojure DSL with a Lean4 compatible kernel.
Tools and documents for working with Microsoft PDB files, in Rust
🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax
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…