An image processing and analysis library for Matlab
Scientific research work of Francesco Montorsi,Univ. of Modena, Italy
This is a basic calculator with functionality.
A Python computer vision library
simple chess app
[frozen] A library for computing cycles in graphs or in Java code.
JBernstein: Exploration techniques for non-linear constraint checking
Software for exact computing based on interval arithmetic.
Software tool for Research in Computational Population Genetics
Computes Gauss-Legendre quadrature nodes and weights
A Turing Machine Simulator
proof verifier for mathematical proofs and documentation generator
A class library to use conformal geometric algebra in C#
Module Computation for Metabolic Networks
A science API for Java
Fixed-length Arithmetic-types library