Associativity Websites
The Assoziations-Blaster -- a truly interactive text network
- a-blast.org
The Assoziations-Blaster is an interactive text network that blasts your associativity to a new level. Through the use of Automatic Non-Linear Real-Time Linking new relations and meanings between words, text fragments and stories are revealed.
Not Applicable
$
8.95
Alt-Ergo by OCamlPro - Main Page
- alt-ergo.ocamlpro.com
Alt-Ergo is an open-source automatic solver of mathematical formulas based on Satisfiability Modulo Theories (SMT). It is used by tools such as Why3, Frama-C, The Spark toolset, Caveat, EasyCrypt and Cubicle. AltErgo is maintained and distributed by the OCamlPro company since September 2013.
1,289,466
$
960.00