A collection of machine-checkend mathematical proofs
gradslam is an open source differentiable dense SLAM library
Axway Automation Testing System (ATS) - Ready to use examples
The backbone framework
A manageable, measurable and traceable Node.js application manager
ESP8266 framework for Homie, a lightweight MQTT convention
An alternative menu system for Tcl
Best Object Persistence Framework ever!
A Git-driven task runner built to facilitate GitOps and Infrastructure
Twitter Image Pipeline is a robust and performant image loading
Utility to show live progress, status & stats for running simulations
ruby bindings to libgit2
Command line tool for common GraphQL development workflows
Kalman Filter book using Jupyter Notebook
R7RS Scheme scripting engine
Run OpenShift 3.x locally
Command line tool to replace quickly strings in files.
Zipline, a Pythonic algorithmic trading library