Google's software suite for combinatorial optimization
efficient tools for LiDAR processing
The open source mesh processing system
Arduino command line tool
A basic enterprise information development platform
Operating Layer for LabOS (Stanford-Princeton AI Co-Scientists)
Bayesian Modeling and Probabilistic Programming in Python
Computational Brain Imaging Group tools
Your window into the Elastic Stack
The first open-source agentic AI physicist
Beautiful and accessible math in all browsers
Tools for building fast, hackable, pseudospectral equation solvers
In-depth attack surface mapping and asset discovery
Physics Simulation Made Easy" (Fully Integrated FEA, FEniCS
Tool support for the Z formal notation
Multi-Joint dynamics with Contact. A general purpose physics simulator
A powerful, innovative and intuitive EDA suite for everyone
Mathematical Contest resources
Application to efficiently search and analyze super-structured data
A Distributed RESTful Search Engine
Near-optimal RNA-Seq quantification
Repository for the Astropy core package
A CAD application for creating virtual LEGO models
Open-source simulator for autonomous driving research.