http://julialang.org : A fresh approach to technical computing.
Solving differential equations in Julia
Fast math typesetting for the web.
the mathematics that support AI, ie. Linear Algebra and Statistics, etc.
math and logic formula parser and evaluator
A struct that represents an angle in .NET
A gitter chat bot that solves simple math stuff
Gitter robot for math expressions
Delicious math for PHP
Public room for finding new social contacts in cryptography
General discussion room about Zero-knowledge proofs.
Theorems ~ Proofs ~ LaTeX ~ https://github.com/chakravala/Math-Research-Notes
Collaborative markdown with math
Numerics.NET is a library to support obscure operations and convenience methods pertaining to numbers.