Top 9 Haskell Formal Method Projects
Symbolic formula representation and solver interaction library
Haskell Equational Reasoning Model-to-Implementation Tunnel (by ku-fpg)
Scout APM: A developer's best friend. Try free for 14-days. Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.
Formally prove properties of Haskell programs using SBV/SMT.
SMTLib2 interface implementation for Haskell
C model checking.
Parser and pretty printer for the TPTP language
Run Linux Software Faster and Safer than Linux with Unikernels.
Parser for smt-lib Command responses
Writing and calling ACL2 from Haskell.
What are some of the best open-source Formal Method projects in Haskell? This list will help you:
Are you hiring? Post a new remote job listing for free.