C++ libraries for manipulations in non-Euclidean geometry
GUI Application to Search and Count the Pure King James Bible
An interactive program for statistical analysis of texts
Online bibliographic manager for research groups. Zotero-compatible.
Manage, Publish and Share Ontologies, Taxonomies, Thesauri, Glossaries
A collection of machine-checkend mathematical proofs
your repository framework
A Library is for Finite Transforms
Music research software
Acoustic Simulation Library for Frequency and Time Domain Simulations.
Open Source Online Bibliographic Data Management
Political economy simulation toolkit
Managing Ongoing RElationships for Agent-Based Modelling
Free software for generating understandable and accurate fuzzy systems
A LAMP Open-Source solution for Morphological Analysis of Newspapers
Toolkit for simulations of quantum walks on graphs
Virastyar is an spell checker for low-resource languages