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
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
Beautiful and accessible math in all browsers
Application to efficiently search and analyze super-structured data
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
An Infinitely Large Napkin
This package collects Fine Offset and Oregon Scientific weather data.
An open source software-defined GNSS receiver
Simulate chemical processes using advanced thermodynamic models