Lists (1)
Starred repositories
A tool-agnostic formal specification language for OCaml.
A planetarium for your terminal! Explore stars, planets, constellations, and more, all rendered right in the command line—no telescope required. ✨🪐
Fast and local neural text-to-speech engine
Etherpad: A modern really-real-time collaborative document editor. Now written in Go!
Portable Git(hub|lab|tea)/Forgejo/Bugzilla CLI tool
Radicale storage backends for Remind and Abook
A comprehensive line-by-line commentary on the UNIX Fourth Edition (1973) source code. Covers the kernel, file system, device drivers, shell, and utilities.
Public repository of the Micro QuickJS Javascript Engine
Embedded GDB server implementation for 8-bit AVR MCU
Assignment repo for Systems Verification Fall 2024 at UW-Madison
LLVM-based, flexible, live coverage instrumentation for C/C++ code
continuous file synchronization program (BEP protocol implementation)
Markdown source for Michael Abrash's Zen of Assembly Language (1990)
A simple calendar with events, customizable widgets and no ads.
an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM
Self-hosted audiobook and podcast server
Interactive Control Flow Graph Visualization.
Scan documents to PDF and more, as simply as possible.
Python tool for converting files and office documents to Markdown.
The famous SGI/IRIX ElectroPaint(tm) screensaver by David Tristram, ported to Windows