Google's software suite for combinatorial optimization
efficient tools for LiDAR processing
Arduino command line tool
Bayesian Modeling and Probabilistic Programming in Python
The open source mesh processing system
Operating Layer for LabOS (Stanford-Princeton AI Co-Scientists)
Computational Brain Imaging Group tools
Tools for building fast, hackable, pseudospectral equation solvers
Your window into the Elastic Stack
The first open-source agentic AI physicist
A basic enterprise information development platform
Rapid prokaryotic genome annotation
Beautiful and accessible math in all browsers
Multi-Joint dynamics with Contact. A general purpose physics simulator
Open-source simulator for autonomous driving research.
A beautiful, powerful, self-hosted rom manager and player
Application to efficiently search and analyze super-structured data
A python module for scientific analysis of 3D data
A powerful, innovative and intuitive EDA suite for everyone
Near-optimal RNA-Seq quantification
Tool support for the Z formal notation
Mathematical Contest resources
A Control Systems Toolbox for Julia
The electronic structure package for quantum computers