Haskell Formal Methods

Open-source Haskell projects categorized as Formal Methods | Edit details

Top 9 Haskell Formal Method Projects

  • GitHub repo what4

    Symbolic formula representation and solver interaction library

  • GitHub repo hermit

    Haskell Equational Reasoning Model-to-Implementation Tunnel (by ku-fpg)

  • Scout APM

    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.

  • GitHub repo sbvPlugin

    Formally prove properties of Haskell programs using SBV/SMT.

  • GitHub repo smtlib2

    SMTLib2 interface implementation for Haskell

  • GitHub repo afv

    C model checking.

  • GitHub repo theoremquest

  • GitHub repo tptp

    Parser and pretty printer for the TPTP language

  • Nanos

    Run Linux Software Faster and Safer than Linux with Unikernels.

  • GitHub repo SmtLib

    Parser for smt-lib Command responses

  • GitHub repo acl2

    Writing and calling ACL2 from Haskell.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).


What are some of the best open-source Formal Method projects in Haskell? This list will help you:

Project Stars
1 what4 107
2 hermit 48
3 sbvPlugin 38
4 smtlib2 13
5 afv 9
6 theoremquest 4
7 tptp 3
8 SmtLib 2
9 acl2 2
Find remote jobs at our new job board 99remotejobs.com. There are 37 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives