Automated Algorithm Synthesis
Proof of correctness of the Marching Cubes algorithm in Coq.
Pipeline for automatic reciprocal blast
Solves mazes
The classifier for iris flowers (data mining)
Fluid Simulation for Video Games
ReConv algorithm for cerebellum LFP reconstruction
The LZW algorithm in C#
PHP Voucher Manager
Evolving Realistic Topologies for Wireless Network Simulation
Synchronizing files on different directories on a local machine
Encrypts text files
A GPU-Based High Efficiency Connected Component Labeling Algorithm
GUIMiner Scrypt-N for Windows x64
The associated source code of a paper
Protect your personal data with SafePassDB.
Frameshift detection and correction for next-generation sequences
Fast AFM force curve peaks detector algorithm