A book that teaches formal methods of software modeling using Forge.
A lightweight diagramming language based on formal methods for software modeling. Part of Forge.
A tool for formal software modeling. Similar to Alloy, but designed to be teachable.
Given (1) how big your monitor is, (2) how many pixels it has, and (3) how far you sit from it, calculate the points per degree of vision.
The human limit is estimated at around 60 for most people. (Things are actually more complicated. You can perceive a single high-contrast pixel that is smaller, but 60 is the rule of thumb for maximum perceived sharpness.)
A package manager and GNU/Linux distribution creation tool.
A web browser that is derived from neither Gecko (Firefox) nor KHTML (WebKit/Safari, Blink/Chromium).
A macOS application that reads application bundles.
A macOS application that displays information on installer packages.
A macOS application that can read various obscure Apple-specific file formats.
An object system for Tcl that is not [incr Tcl]. It is also a system for Tk megawidgets.
Secure secret keeping and encryption. Federated and open source. Can use hardware tokens as access keys.
Reviews of video game classics.
A graphical frontend for Claude Code.
I personally quite like the CLI, but I am sure there is some added value to a well-designed GUI.
An Objective-C compiler based on Clang. Does not build on top of GNUstep or any other existing frameworks.
Another NeXTSTEP-like desktop environment.
A desktop environment that is similar to NeXTSTEP.
Zig bindings for FLTK. Probably the most practically relevant Zig GUI library.
An immediate-mode GUI toolkit for Zig.
New games for MS-DOS, Amstrad CPC, and ZX Spectrum.
A retro-style Half-Life clone using a hand-written raycaster engine (similar to what early 3D PC games did). Done with LÖVE.