amal029/hybrid2synchtsepaper
IEEE TSE paper that describes the technique to compile a subset of Hybrid automaton to executable synchronous code
Public repository discovered through GitHub real-time crawl.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
IEEE TSE paper that describes the technique to compile a subset of Hybrid automaton to executable synchronous code
A webapp for editing bencoded files -- inspired by BencodeEditor desktop application
Scheme library for Bencode (of the bitttorrent fame) format decoder, encoder, validator
A SAT solver written in scheme