A toolbox for your React Native app localization
TLC is an explicit state model checker for specifications in TLA+
An assorted miscellany of tools and toys.
Spatial Statistics Libraries & Tools for GeoTools, GeoServer, uDig
A toolbox for Sid Meier's Civilization
Unicode XML TEI text analysis platform
Easily monitor the performance of your app real time in browser
Generates Latin squares and counts their transversals
SOA infrastracture initially developed by NICT Language Grid Project
Verification via biSimulations of Max-Plus-Linear models
Semi-automated root image analysis software
Java Performance Toolbox
Sentinels Application Platform (SNAP)
Set of tools for PnP RPG Pendragon
Library for helping developing PnP RPG tools
Glycosylation Network Analysis Toolbox (GNAT)