A set of Docker images for training and serving models in TensorFlow
ECLiPSe Constraint Logic Programming System
Object-oriented equation-based modelling and optimisation software
Specifications for TRAK architecture views
A natural language modeling framework based on PyTorch
Docker container for running Chainer scripts to train and host Chainer
Petri net framework for security related modeling and reasoning.