Operating Layer for LabOS (Stanford-Princeton AI Co-Scientists)
Computational Brain Imaging Group tools
Tool support for the Z formal notation
A Control Systems Toolbox for Julia
Leading open-source visualization and observability platform
An open source harness for generating CAD models
Ultra Fast Geospatial Database & Geofencing Server
Android, UIQ 3.0, Series 60 Edition 5 open-source software
BBMap short read aligner, and other bioinformatic tools.
An intuitive molecular editor and visualization tool
Software tools for processing taxonomic descriptions in DELTA format
Simple tools for working with gravitational waves
SUMO is a microscopic, multi-modal traffic simulation.