Pinned Repositories
chgtrk
LaTeX package for changes tracking
eventB-style
Package for typesetting Event-B models (discontinued, use lstEventB instead)
EventBUtils
Utilities for manipulate Event-B constructs in Rodin.
lstEventB
LaTeX package for listing Event-B code
QualProb
Qualitative probability reasoning for Event-B/Rodin
Rodin-Bundles
Rodin Platform Bundles that include features developed by our group
Simple-Barebone-XText-based-IDE
This is a simple XText-based IDE for a simple Barebone language
tikz-eventB
Package supporting diagrams for Event-B models using TikZ
XEventB
Extended Event-B for Rodin platform
tshoang's Repositories
tshoang/lstEventB
LaTeX package for listing Event-B code
tshoang/EventBUtils
Utilities for manipulate Event-B constructs in Rodin.
tshoang/Rodin-Bundles
Rodin Platform Bundles that include features developed by our group
tshoang/XEventB
Extended Event-B for Rodin platform
tshoang/alire
Command-line tool from the Alire project and supporting library
tshoang/alire-index
Community index for the Alire project
tshoang/BToolkit
The BToolkit, a toolkit supporting software development with the B-method.
tshoang/checkout
Action for checking out a repo
tshoang/ControlAbstractionDiagrams
tshoang/diagrams
tshoang/EMF_Containment
EMF Support for containment mechanism
tshoang/EMF_EventB
EMF based support for modelling in Event-B
tshoang/EMF_EventB_Extensions
tshoang/EMF_Inclusion
EMF Support for inclusion mechanism
tshoang/EMF_Translator
Framework for implementing EMF model to model transformations in Java
tshoang/EventB_Translator_Support
Adaptation of the EMF translator for Event-B and Rodin
tshoang/gramps
Source code for Gramps Genealogical program
tshoang/HD-Sec.github.io
tshoang/iUML_B_Diagrams
This is the common framework that all iUML-B diagrams are based on
tshoang/libsodium
A modern, portable, easy to use crypto library.
tshoang/Records
Records extension for Event-B (developed for Hi-Class project)
tshoang/Rodin-Docker
Source code for building Docker images for running/developing Rodin
tshoang/rodin_scxml_plugin
This repository is to hold materials for the development of the scxml rodin plugin. This includes dcxml model examples and any manuscripts that result from that work
tshoang/RoseEditor
EMF based tree structured editor customised for Event-B
tshoang/SimB-examples
tshoang/SpaceCadets
COMP1202 Challenge Programming Space Cadets
tshoang/Submitty
Homework Submission, Automated Grading, and TA grading system.
tshoang/textX
Domain-Specific Languages and parsers in Python made easy http://textx.github.io/textX/
tshoang/tshoang.github.io
Personal GitHub Page
tshoang/WhiteSpace-Examples
Examples for WhiteSpace Programming