Animation engine for explanatory math videos
AI-driven neuro-symbolic solver for high-school geometry problems
Do live calculations in rofi
Beautiful and accessible math in all browsers
System dynamics program with additional features for economics
Open source finite element software for multiphysical problems
Open-source C/C++ math engine for advanced scientific computing
Unified Data Envelopment Analysis commands for Stata
mathematical function plotting and real-time analysis
Unicode XML TEI text analysis platform
Computer Assisted Proofs in Dynamics
Manual counter with the keyboard or the mouse on images
C++ math library developed primarily for games focused on simplicity
Celestial Mechanics Engine
A versatile MCMC and downhill optimization engine
an interactive 3D viewing program
Software for data analysis, image processing, simulations, solver.