Library for validated numerics using interval arithmetic
An implementation of interval arithmetic
ECLiPSe Constraint Logic Programming System
A real time inference engine for temporal logical specifications
Random Variate generators for various distributions.
Powerful new number types and numeric abstractions for Scala
A lghtweight AOP(Android) application framework
Radial slider for Swing for selecting angles or any numeric value
A small decorator for the JavaScript WebSocket API