jkeiren/muCRL
Collection of tools for manipulating process and data descriptions written in µCRL (micro Common Representation Language)
Public GitHub Catalog
Discovered Sep 25, 2026
jkeiren / pginfo
Tool to collect information from parity games
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#5480567GitHub 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/commandline
C++ Command line library (originally developed for mCRL2 (www.mcrl2.org))
jkeiren/logging
Simple logging library for C++