CSS framework for dummies, without a single CSS class
TLC is an explicit state model checker for specifications in TLA+
Principled Functional Programming in Scala
Original Apollo 11 Guidance Computer (AGC) source code
Rust SSH client & server library
safe and easy casting from one type to another in Go
Another drawing editor for LaTeX with PSTricks & TikZ
A modern digital design tool.
A petite color palette generator
A modern color palette generator
Cross Platform GUI Toolkit
Software auto-installation builder
A statically typed concatenative systems programming language
Ada source code controller
Real-Time ASCII Art Rendering Library
Vector drawing program for LaTeX using PSTricks
Open source process design kit for usage with SkyWater Technology
Open Source Java platform for Optimization, DoE, and Learning.
Generate and change color-schemes on the fly
The Haskell Lightweight Virtual Machine (HaLVM)