A probabilistic programming language in TensorFlow
Keras code and weights files for popular deep learning models
A tool for creating data models and databases for Microsoft SQL Server
Live Music Compositor learning base on TPG
Data Type Definition System
Declarative PageObject description
Make a tag cloud from text in your files
A Rodin Platform Plug-in for Generic Instantiation
A tool for visualization and analysis of logs as sequence diagrams
Petri net framework for security related modeling and reasoning.
A diagram/modeling tool.
Simulador de Redes de Petri Interpretadas para Controle
C++ inline state machine library
Simple Yaml Validation
A general recommender system with basic models and MRA