Intellect Modeling Kit: assisting research, diagnostics, consulting
Unicode XML TEI text analysis platform
Improved JPEG encoder
Fast Coreference Resolution in spaCy with Neural Networks
This is a suite of mathematical software solvers GUI
CTL-RP is a theorem prover for Computation Tree Logic (CTL)
Technologies for automating food production on various scales
Speedy Composer – Artificial Neural Network Melody Composer.