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