ahmadsalim/minkodkod
Minimal model generation in KodKod
Public GitHub Catalog
Discovered Sep 28, 2026
ahmadsalim / Tools-and-tactics-for-Idris---report
Report and Information for M.Sc. 3rd semester project on rewriting Idris parser and introducing a proof tactic for induction
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.
#12559350GitHub System ID
ahmadsalimOrganization / User
PublicVisibility
ActiveCatalog Status
More from ahmadsalim
ahmadsalim/bprd-debugging
BPRD 2015 Debugging Tutorial and Exercise
ahmadsalim/maude-exercises
Maude exercises (DSL reading group 2015)
ahmadsalim/pi-forall
A demo implementation of a simple dependently-typed language