A textbook on informal homotopy type theory
Computation and Visualization environment
External plugins for modnlp/teccli
Computer Assisted Proofs in Dynamics
A scientific calculator written in Python
Optimal Decision Rules for the Discursive Dilemma
Interactive geometry software for Euclidean and non-Euclidean spaces
The birth of modern video feedback art.
Interactive scientific graphing and data analysis software.
Model-based Analysis of Genome-wide CRISPR-Cas9 Knockout
A statistical toolbox for diffusion processes
phase-field simulation and other examples with Python/FEniCS
Lenia - Mathematical Life Forms
12÷16×3=9÷4
Biomolecular electrostatics software
Javascript Geometric Algebra Generator for Javascript, c++