OStatic

DWDS/Dialing Concordance (DDC) - a collection of index and search tools for corpus linguists

ATL: ASA Tutor Locator reduces tutor load by using transient ad-hoc peer communities that are seeded with document fragments from the learning network...

QASE is a comprehensive API designed to provide all the functionality needed to create game agents in Quake 2. Powerful enough to facilitate high-end ...

Freestyle Learning (FSL) and Open University Support System (OpenUSS) are specifications for Learning Content System (LCS) and Learning Management Sys...

iSNS is Interactive Neural Network Simulator written in Java/Java3D. The program is intended to be used in lessons of Neural Networks. The program is ...

JOELib/JOELib2 is a cheminformatics library which supports SMARTS substructure search, descriptor calculation, processing/filtering pipes, conversion ...

Java API for implementing any kind of Genetic Algorithm and Genetic Programming applications quickly and easily. Contains a wide range of ready-to-use...

MLN (My Linux Network) is a perl program used to manage a set of User-Mode-Linux instances or Xen instances. From a configuration file, it is possible...

Hermes is suit of software for Computational Linguistics (mainly Natural Language Processing), with focus on Brazilian Portuguese, written in Python.

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prov...