A database profiler for Myriad Toolkit
Temporary java prototype to support text generation.
SQL checker for ecoach
This is the backbone server implementation for the formulacloud service.
a machine learning approach for processing mathematical language in scientific documents
This project provides various tools for processing content MathML with Java.
Discovering Mathematical Objects of Interest - A Study of Mathematical Notations
Minesweeper GUI With Autosolver
PROJECT DELTA: SDN SECURITY EVALUATION FRAMEWORK
A small example of how to use MATSim as a library.
Efficient Exchange of Topology Information in Fog Platforms with CRDT Principles