SRI International's AIC PRAiSE (Probabilistic Reasoning As Symbolic Evaluation) Library (for Java 1.8+)

Mirror of old PRISM subversion trunk. Now replaced by "prism" repo, but some forks of this may still exist.

Homotopy type theory

A port of Coq to Javascript -- Run Coq in your Browser

Mathematical Components

Free monospaced font with programming ligatures

Hasklig - a code font with monospaced ligatures