Discover projects, groups and snippets. Share your projects with others
An implementation of the buffer protocol for unicode strings.
The Modest Toolset
Additional material for the FORTE 2020 paper "Towards Deep Statistical Model Checking"
A helper library for handwritten parsers.
A Python library for working with quantitative models.
Momba Modeling Language (MOML) support for Visual Studio Code.
A small (but powerful) IDE for pseuCo.
Memory Model Mapper