Easily browse and read Wayland protocols documentation

Protocol support table for Wayland compositors

An open source re-implementation of Chris Sawyer's Locomotion

Why is that binary so big?

Language based on Rewriting Logic

A programming language for libraries translated to all the others

The Apple Lisa inside an FPGA!

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

Linked Data Transcriber

Entirety of `rustc`, translated to C.

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

A single-instruction GPU virtual machine and toolchain

The CSV magician

🐺 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

Course on Metaprogramming

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