andrejtokarcik/prism-pse
A Google Summer of Code 2014 project
Public GitHub Catalog
Discovered Oct 6, 2026
andrejtokarcik / agda-semantics
An executable formal semantics of Agda in K
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.
#31952365GitHub System ID
andrejtokarcikOrganization / User
PublicVisibility
ActiveCatalog Status
More from andrejtokarcik
andrejtokarcik/ltl_check
(Currently non-functional!)
andrejtokarcik/jff2dot
A program to convert JFlap files to Graphviz files
andrejtokarcik/trac-progressmetermacro
Progress meter wiki macro plugin for Trac