TLC is an explicit state model checker for specifications in TLA+
Library for the numerical simulation of closed as well as open quantum
Collection of Three.js skill files
Self-hosted collection of powerful web-based tools for everyday tasks
An assorted miscellany of tools and toys.
Principled Functional Programming in Scala
A suite of RPN calculators and a class library for Object Pascal
Modular Assessment of Rainfall-Runoff Models Toolbox
A collection of more than 170+ tools, scripts, cheatsheets
A trajectory optimization library for Matlab
PyTorch extensions for high performance and large scale training
a library to define a continuous delivery pipeline in code
The Tensor Algebra Compiler (taco) computes sparse tensor expressions
One article per week, the content is concise, neither salty nor light
Java Performance Toolbox
A simple telnet (and possibly SSH) server
A collection of AS3 libraries and sketches
A generic C++ MUD server featuring a strategy-style hexagon map