Verified Intermediate Representation

A proved correct WebAssembly 3.0 runtime in Lean 4

Embedded Scheme for the Rust Ecosystem

SMTscope automatically analyses and visualises SMT solver execution traces.

an immutable database for zig

Technical debt and risk analyzer that predicts bug hotspots by combining cognitive complexity, pattern recognition, coverage gaps, information theory, and git history.

A completely vibecoded operating system targeting Aarch64

Scheme language server

Like otool but written from scratch in Zig

Toy language for experimentation and fun.

A free and open source comics, manga and digital book server with OPDS support (WIP)

Framework for simplifying flake setup [maintainer=@accelbread]

an open source Navidrome client written in Swift

FPGA based MIT CADR lisp machine - rewritten in modern verilog - boots and runs

Gorched is terminal based game written in Go inspired by "The Mother of all games" Scorched Earth

Official chibi-scheme repository

Minimalist Minecraft server for memory-restrictive embedded systems

Per-device scrolling prefs on macOS.

Mixer for RME Fireface UCX II

Qt plugin for HEIF images

Yet another Nix CLI helper. [Maintainers=@NotAShelf, @faukah]

best way to save what you love

RV-Debugger-BL702 Project, an opensource debugger implement

Openterface Mini-KVM: Hardware Design, Schematics and Components

A Linux framebuffer pdf, djvu, epub, xps, and cbz viewer

Bule-ish CD ripper

Scriptable multimedia sandbox. Captures, streams and records from a variety of sources.

Esoteric Programming Language

A customisable music player