JoeDralliam/static-analyzer
A lite c-like language analyzer
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.
A lite c-like language analyzer
Kahn networks implementation in ocaml
An implementation of untyped lambda calculus, and proofs
Nethack notification over IRC (NhNoIRC) bot