amal029/hybrid2synchtsepaper
IEEE TSE paper that describes the technique to compile a subset of Hybrid automaton to executable synchronous code
Public GitHub Catalog
Discovered Sep 27, 2026
amal029 / llvm_opt
LLVM optimizer -- support interleaved access patters/Aos2SoA conversion, large vector strip-mining, and loop blocking/strip-mining
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.
#9864071GitHub System ID
amal029Organization / User
PublicVisibility
ActiveCatalog Status
More from amal029
amal029/bencode-webedit
A webapp for editing bencoded files -- inspired by BencodeEditor desktop application
amal029/libencode
Scheme library for Bencode (of the bitttorrent fame) format decoder, encoder, validator
amal029/satscheme
A SAT solver written in scheme