Fast rainflow counting written in C (C99)
Quantum universal object system with referencing and genetics
Belief Revision via PS-Merge under constraints belief merging operator
proof verifier for mathematical proofs and documentation generator
Genomic Region Archiving and Binding Sites Analysis (BiSA)
Hackerando la Macchina Ridotta (Hacking the Smaller Machine)