amal029/pcp
Checkpoint algorithm at Java bytecode level to decrease power consumption of real-time tasks.
Public GitHub Catalog
Discovered Nov 3, 2026
amal029 / idris-data-structures
Data structures implemented in Idris
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.
#51122050GitHub System ID
amal029Organization / User
PublicVisibility
ActiveCatalog Status
More from amal029
amal029/networkx
Official NetworkX source code repository.
amal029/hybrid2synchtsepaper
IEEE TSE paper that describes the technique to compile a subset of Hybrid automaton to executable synchronous code
amal029/bencode-webedit
A webapp for editing bencoded files -- inspired by BencodeEditor desktop application