Datalog variant for tool designers crafting analyses in Horn clauses
Minimalist Vim Plugin Manager
A layer built on top of the Insight Toolkit (ITK)
A complete solution to package and build a Electron app
Next generation distributed, event-driven, parallel config management!
Insane(ly slow but wicked good) PNG image optimization
Open Source Institutional Registers Backup Syst. for Paper Registers
search for hash values used in Bloom filter for QNR membership
Software for molecular simulations and trajectory analysis
A C++ library for AVR and NodeMCU
Android Plugin Framework
Jupyter Notebook + Space Invaders
This project provide an open-source matlab code for MEDO.
File mapped memory container manager
Automated detection of the unknown early map projection
Art Kagel's Informix DBA Utilities Package #2
Free data backup software to synchronize files and folders
Parallel pairwise correlation computation on Intel Xeon Phi clusters
A DIY gadget to automatize specific plant growing
Feedback control system analysis and design
Portable Framework for the Parallel Execution of Short Read Aligners
CUDAlign is a tool that aligns huge DNA sequences in CUDA capable GPUs
Neural Network Engineering Platform