elliottt/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Public GitHub Catalog
Discovered Oct 5, 2026
elliottt / pretty
Haskell Pretty-printer library
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#29785769GitHub System ID
elliotttOrganization / User
PublicVisibility
ActiveCatalog Status
More from elliottt
elliottt/huff
A fast-forward based planner for Haskell
elliottt/vim-haskell
Haskell support for vim
elliottt/tries
Public repository.