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