bryant/cmark
CommonMark parsing and rendering library and program in C
Python wrapper for `plug.dj`'s API.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
CommonMark parsing and rendering library and program in C
The code behind hnhiring.me, a pleasant interface for viewing the monthly Hacker News hiring posts
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Cryptol: The Language of Cryptography