λ² is a tool for synthesizing functional programs from input-output examples.

Generate profiling traces for GCC

Org Social is a decentralized social network that runs on an Org Mode file over HTTP.

Code and model to control the AH!

Rewriting Semantics for PEGs

A JavaScript Engine Fuzzer

The official repository of Mozilla's Firefox web browser.

A massively parallel, optimal functional runtime in Rust

A hardware-accelerated GPU terminal emulator focusing to run in desktops and browsers.

Borgo is a statically typed language that compiles to Go.

a model of MIR and the Rust type/trait system

A tiny hand crafted CPU emulator, C compiler, and Operating System

List of bugs found in distributed protocols

A FOSS, cross-platform version of GitHub Actions and Gitlab CI

The Stratagus strategy game engine

A Language Server for Postgres

📖 A collection of pure POSIX sh alternatives to external processes.

Database system for AI-powered apps

Official Rust implementation of Apache Arrow

A markup-based typesetting system that is powerful and easy to learn.

An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

💫 vertico.el - VERTical Interactive COmpletion

A post-apocalyptic actionRPG. Now on Steam!

GNU Emacs notebook mode

Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

A data-first Rust-native UI design toolkit.

The Jakt Programming Language

The Memetalk programming system

Rusty Object Notation

Sioyek is a PDF viewer with a focus on textbooks and research papers