Arbitrary-precision CRC calculator and algorithm finder
Command-line calculator and libray.
A powerful arbitrary-precision calculator.
Mixed Integer Linear Programming (MILP) solver.
Generate and solve Travelling Salesman Problem tasks
Pure-python binary fixed-point arithmetic library
BinMatrix is a class to operating and storing binary matrices
Puzzle game demonstrating whats so hard about binary integer factoring
A Turing Machine Simulator
galculator is a scientific calculator in algebraic mode and RPN
Fast C library for relation algebra using binary decision diagrams.