Java Decision Diagrams (BDD) libraries: JDD and JBDD
This project has been moved to bitbucket.org:
- https://bitbucket.org/vahidi/jbdd/wiki/Home
- https://bitbucket.org/vahidi/jdd/wiki/Home
It includes two libraries for working with decision diagrams:
- JBDD: a Java interface to two popular BDD libraries, CUDD and BuDDy
- JDD: a native Java library supporting BDD, Z-BDD
QwtPlot3D is a graphics extension to the Qt GUI application framework. It provides a 3D plotting widget for scientific data and mathematical expressions. It compares to the existing Qwt Project.
Access competitive interest rates on your digital assets.
Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform.
Geographic restrictions, eligibility, and terms apply.
OSlash is a c++ framework for developing decentralized cloud computing services. It includes a programming environment and virtual machine for assembling networks of processing nodes coordinate their operations through message passing.
ExprEval pre-3.0 is a C based expression evaluation library. ExprEval 3.0 and later is a C++ based expression evaluation library. Features: 1. POEM - Parse once, evaluate many 2. Direct variable access 3. Support for custom functions 4. Seperate func/var
The dream of Leibniz. A project devoted to realising the lingua characteristica and calculus ratiocinator using XML technologies where appropriate. Includes (at this stage mainly consists of) research in philosophy and logic.