A logic programming tool and a logical database with a RESTful API
Binary Diff and Undiff Utility
Code for the paper "On First-Order Meta-Learning Algorithms"
Linear constraint feasibility check and get program.
C++ BigInt class enables to work with arbitrary precision integers
Pattern-based multi/many-core parallel programming framework
Converts between many 3D data formats
A program to benchmark 5 different sorting algorithms.
MRS/NMR analysis software
This document documents how to run the compression reference code
Generates Latin squares and counts their transversals
Data reduction and imaging for select astronomical cameras
Basic Artificial Neural Network
Library Clock for GCC (C++)
Library Roman/Arabic for GCC (C++)
A multi-purpose extensible self-adaptive evolutionary algorithm
Modular Java framework for meta-heuristic optimization