jeroenk/llvm2kittel
llvm2KITTeL
Public GitHub Catalog
Discovered Sep 30, 2026
jeroenk / souper
A superoptimizer for LLVM IR
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.
#19753304GitHub System ID
jeroenkOrganization / User
PublicVisibility
ActiveCatalog Status
More from jeroenk
jeroenk/iTRSsVisualised
Visualise infinite reductions up to length ω
jeroenk/artisanConvert
Convert Artisan UML exports into XMI readable by Papyrus
jeroenk/iTRSsImplemented
Infinitary term rewriting implemented: Computing with infinite terms and infinite reductions in Haskell