Stars
A ~9M parameter LLM that talks like a small fish.
Verifying C++ using a pragma-based automated verification paradigm
NEO Emacs (WIP): A GPU-powered Emacs written in Rust with a modern display engine. Aiming for modern design/multi-threaded Elisp, 10x performance and 100% Emacs compatibility. 🚀 Inline 4K images/4K…
🎶 LocalWave is a local-first MP3 player for iOS with full-text search, iCloud sync, and no subscriptions
A simple, extensible LLM client for Emacs
Research prototype tool for modular formal verification of C, Rust and Java programs
A formalization of geometry in Coq based on Tarski's axiom system
Inpla: Interaction nets as a programming language (the current version)
Portable file server with accelerated resumable uploads, dedup, WebDAV, SFTP, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file
Coq proofs for the paper "Calculating Correct Compilers"
Python GUIs for Humans! PySimpleGUI is the top-rated Python application development environment. Launched in 2018. NEW for 2026 - the LGPL3 Version 6. Transforms tkinter, Qt, WxPython, and Remi int…
A C++ library for debugging purposes that can print any variable, even user-defined types.
Self-contained Emacs.app builds for macOS, with native-compilation support.
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Light-weight system monitor for X, Wayland, and other things, too
Graph-oriented live coding language and music/audio DSP library written in Rust
A set of tools for automatically managing bitrot and format in large quantities of media
A Common Lisp framework for the creation of electronic art, visual design, game prototyping, game making, computer graphics, exploration of human-computer interaction, and more.
A dark and sleek Emacs setup for general purpose editing and programming
Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written, read, and understood by both people and computers.
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"