A Frontier Mathematical Coding Agent
Google's software suite for combinatorial optimization
Computational geometry and spatial indexing on the sphere
Open statistics and scientific graphing
SEQUOIA ocean data assimilation platform (a SIROCCO suite tool)
Open-source C/C++ math engine for advanced scientific computing
A textbook on informal homotopy type theory
A scientific calculator written in Python
My own project
phase-field simulation and other examples with Python/FEniCS
Deconvolutes qPCR data to estimate cell-type-specific gene expression
A Python implementation of the MathSpeak Core Specification
GUI for Prime95 (GIMPS project)
Simulated Airline Travel Solution Provider Library
Data Plotting and Analysis for Science and Engineering
python2/3: compute polyfit (1D, 2D, N-D) without thirdparty libraries
Travel Market Simulator
Differential Expression Analysis for Pathways