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 gitter chat bot that solves simple math stuff
A struct that represents an angle in .NET
Gitter robot for math expressions
General discussion room about Zero-knowledge proofs.
Delicious math for PHP
Public room for finding new social contacts in cryptography
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.