A real time inference engine for temporal logical specifications
Iterative and recursive parallelism generics for Ada 2005 and Ada 2012
Teachable/trainable artificially intelligent music bot
Nesting SDK, Library
Code for the paper "On First-Order Meta-Learning Algorithms"
An extremely fast implementation of Aho Corasick algorithm
Open Source Java platform for Optimization, DoE, and Learning.
A tool for finite state machine analysis and synthesis.
Tool for Engineering Emergent Selforganizing bEhavioR
SMSD is a Java based software library for calculating MCS.
TextTeaser is an automatic summarization algorithm
Calculate primes by using extremely fast sorting
Fast calendar calculations for 10,000 years (Julian and Gregorian)
a very lightweight advanced terrain-rendering and 3D map rendering sys
S-Match is a semantic matching framework.
Some Useful C-Utilities
RSA 4096 C++ library
JBernstein: Exploration techniques for non-linear constraint checking
Water Retention on Magic Squares with Constraint-Based Local Search
Tcl library of packages focusing on functional principles