Tangle is a JavaScript library for creating reactive documents. Your readers can interactively explore possibilities, play with parameters, and see the document update immediately. Tangle is super-simple and easy to learn.
comprehensive, modular and portable cryptographic toolkit that provides developers with a vast array of well known published block ciphers, one-way hash functions, chaining modes, pseudo-random number generators, public key cryptography and a plethora of
a library of C++ classes and templates for high-performance numerical computation. PETE, which stands for "Portable Expression Template Engine", uses a technique called expression templates to eliminate data copying and the creation of temporary variables
a multi-platform game library for C/C++ developers that provides many functions for graphics, sounds, player input (keyboard, mouse, and joystick), and timers. It also provides fixed and floating point mathematical functions, 3D functions, etc...
DoCon is a program for symbolic computation in mathematics - package of modules DoCon joins the categorial approach to the mathematical computation expressed via the Haskell type classes, and explicit processing of the domain description terms. It implements recently a good piece of commutative algebra: linear algebra, polynomial gcd, factorization, Groebner bases, and other functions. They are programmed under the very generic assumptions , like "over any Euclidean ring", over any GCD-ring, any field, and so on. DoCon also supports the constructions on domains: Fraction, Polynomial, Residue ring, and others. That is certain set of operations on a constructed domain is built automatically.
* Higher-Order Logic * o HOL (Higher-Order Logic) o HOLCF (Higher-Order Logic of Computable Functions) * First-Order Logic * o FOL (Many-sorted First-Order Logic) o ZF (Set Theory) o CCL (Classical Computational Logic) o LCF (Logic of Computable Functions) o FOLP (FOL with Proof Terms) * Miscellaneous * o Sequents (first-order, modal and linear logics) o CTT (Constructive Type Theory) o Cube (The Lambda Cube)