Google's software suite for combinatorial optimization
Arduino command line tool
Android, UIQ 3.0, Series 60 Edition 5 open-source software
A basic enterprise information development platform
Rapid prokaryotic genome annotation
Software to control and analyze Tausand Abacus coincidence devices
A Java to iOS Objective-C translation tool and runtime
A comprehensive and flexible quantification tool for proteomics data
Tools for building fast, hackable, pseudospectral equation solvers
Application to efficiently search and analyze super-structured data
Tool support for the Z formal notation
Beautiful and accessible math in all browsers
Quantum assembly language for extended quantum circuits
In-depth attack surface mapping and asset discovery
Object-oriented equation-based modelling and optimisation software
Set of numeric libraries for the Go programming language
Modern, privacy-friendly, and detailed web analytics
Ultra Fast Geospatial Database & Geofencing Server
A powerful, innovative and intuitive EDA suite for everyone
Mobile manipulation research tools for roboticists
An Infinitely Large Napkin
Tools for Maxima software.