aronisstav/compilers_tutorial
Used in Compiler Design I course of Uppsala University.
Public GitHub Catalog
Discovered Nov 2, 2026
aronisstav / formal-trace-theory
Formal proof of the first lemma from the Optimal DPOR paper in proof.
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.
#48109655GitHub System ID
aronisstavOrganization / User
PublicVisibility
ActiveCatalog Status
More from aronisstav
aronisstav/Pyevolve
Pyevolve
aronisstav/rinspect
Tools for dynamically verifying programs under TSO/PSO memory model
aronisstav/benchmarks_tacas2015
Public repository.