jkeiren/muCRL
Collection of tools for manipulating process and data descriptions written in µCRL (micro Common Representation Language)
Public GitHub Catalog
Discovered Sep 26, 2026
jkeiren / commandline
C++ Command line library (originally developed for mCRL2 (www.mcrl2.org))
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#6774166GitHub System ID
jkeirenOrganization / User
PublicVisibility
ActiveCatalog Status
More from jkeiren
jkeiren/paritygame-generator
Generator for parity games using various generation techniques to obtain a broad class of games
jkeiren/logging
Simple logging library for C++
jkeiren/pbesstategraph-experiments
Repository containing the examples and scripts for the experiments belonging to the paper "Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction"