Digital Circuits Design and Simulation
Stop to rack your brain, start using process-oriented decision tables!
FormScanner - Free OMR Software
DNA/RNA Sequence K-mer Toolkit
Belief Revision via PS-Merge under constraints belief merging operator
Equation of stock trading simplified to game of moving resizing balls
A Calculator to perform logical operations
Multithreaded N-Point Gravity Simulation for PC and Android
proof verifier for mathematical proofs and documentation generator
UDP Packet Generator (Stream generator)
TreeLiker is a collection of fast algorithms for working with complex