jkeiren/paritygame-generator
Generator for parity games using various generation techniques to obtain a broad class of games
Public GitHub Catalog
Discovered Sep 27, 2026
jkeiren / muCRL
Collection of tools for manipulating process and data descriptions written in µCRL (micro Common Representation Language)
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.
#8645571GitHub System ID
jkeirenOrganization / User
PublicVisibility
ActiveCatalog Status
More from jkeiren
jkeiren/commandline
C++ Command line library (originally developed for mCRL2 (www.mcrl2.org))
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"