Search Results for "integer" - Page 5

This is a library of classes and functions to be used to abstract arbitrarily large integer and floating-point numbers in C++. All standard operators are overloaded so the user is able to substitute "mpi" for "int" and "mpf" for "double" to use.

Operation with currency values don't work fine with float or double types. This C++ library implements operators in a decimal fixed point (x100) package. This package use only integer type internally multiplied by 100.

RealPaver is a modeling language for solving mixed-integer nonlinear constraint systems.

CVPFrameWork is a complete framework solution for PHP developers based on objectual modeling in PHP5. Includes complete set of Native Classes (like String, Integer, Vector...), Sockets, XML-RPC communication, exception handling and much more.

A Scheme (guile) interface to a local version of the Encyclopedia of integer Sequences with many features for complex queries. URL of the encyclopedia (where the database can be downloaded from) is: www.research.att.com/~njas/sequences/

XNum is an integer arithmetic library written in C++. The difference between XNum and other libraries such as GMP <http://www.swox.com/gmp/> is the the former tries to imitate the practical method that humans use to do the arithmetic themselves. Current

C++ template classes for Multi-Value Logic support arbitrary precision and user defined Multi-Value Logic types. This library comes with pre-defined data types: integer, boolean, bit, logic, std_logic, bit_vector, logic_vector and std_logic_vector.

HexCalc is a simple calculator similar to GNOME calculator. it can do simple calculations in hexadecimal, octal, binary, and non-floating point decimal. It uses a 32bit signed integer. It is a helpful little coder utility.

MIDP or some KVM implementation don't support float or double type. There is a Java Math Library implement the most math functions in a Parametric Math Fixed Point Package. This package use only integer type.

Rascal, the Advanced Scientific CALculator, is a platform independent modular calculator. Based on modules for integer, doubles, strings, vectors and matrices it can be easily extended with existing C or C++ code.

A GNOME panel applet that can monitor a file and rip an integer or floating point number out of a row/column in that file and display it in a dial or gauge meter in a GNOME panel applet.

An RPN calculator design to manage well with stdin stream of number and operations

Myfu is a merge of the YAFU and Msieve libraries for integer factorization

Evolutionary computation library and benchmark utility. Integer encoded genetic algorithm.

This STL-like C++ library contains classes for long integer numbers processing with using of assembler functions as a backend. Lazy evaluation is also used for optimization. It also contains generic implementation of classical number-theory algorithms.

Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes...