Mathnerd314/jhalfs
GIT mirror of SVN repository
Rasterific backend for diagrams
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
GIT mirror of SVN repository
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Nix, the purely functional package manager
Systemd for NixOS