The HOL Light theorem prover

Sample bulletin board app in Node.js and Vue.js

DEPRECATED; see https://github.com/tianon/docker-brew-ubuntu-core/pull/248

A Home for Docker Doodles

Ruby bindings for the SQLite3 embedded database

NumPy aware dynamic Python compiler using LLVM

Repeatable, reboot resilient windows environment installations made easy using Chocolatey packages

Share your workspace with team members and collaborate on code in real time in Atom

Simple peer-to-peer with WebRTC.

📡 Simple WebRTC video, voice, and data channels

An HTML5-compatible live streaming server supporting the WebM and H.264 formats.

IGraph/M is the igraph interface for Mathematica

A tool for capturing the execution of an entire process tree

A fork of Git containing Windows-specific patches.

Code drawn AppKit HUD interface elements

Localise Your .m Files, For Queen And Country 🇬🇧

Python implementation of the IOU Tracker

An easy-to-use HUD interface with personality.

Our original Web Component library.

Potentially the best command line gister.

Small tool for printing task cards used for a Scrum board. Your physical Scrum board will look fantastic. Supports Team Foundation Server and Azure DevOps.

The library for web and native user interfaces.

An engine.io plugin that makes conflation, aggregation, alteration and filtering of messages, based on the client's performance consuming messages from the server, straightforward.

The MSYS2 homepage

The Docker Toolbox

An open source, embedded, high performance g-code-parser and CNC milling controller written in optimized C that will run on a straight Arduino

A lightweight and modular front-end framework for developing fast and powerful web interfaces