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 29, 2026
amal029 / cgals_coq_semantic_equivalence
Coq proof of equivalence of micro and macro step semantics of cgals -- including data!
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.
#13664430GitHub 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