bryant/plugdj
Python wrapper for `plug.dj`'s API.
CommonMark parsing and rendering library and program in C
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Python wrapper for `plug.dj`'s API.
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