TLC is an explicit state model checker for specifications in TLA+
Library for the numerical simulation of closed as well as open quantum
A Julia machine learning framework
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
MDG for Sparx' Enterprise Architect to Create TRAK arch. descriptions
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
IMU Allan standard deviation charts
Another Haskell web framework for rapid development
Java Performance Toolbox
An Open source Analysis and SImulation Toolbox for Fuel Cells
Open Design and Integration Environment
A Deformable Medical Image Registration Toolbox
An image processing and analysis library for Matlab
A simple telnet (and possibly SSH) server