Haskell Formal Methods

Open-source Haskell projects categorized as Formal Methods
Edit details
Math Haskell Distributed Computing Formal Verification Cardano
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Top 9 Haskell Formal Method Projects

Formal Methods

  1. what4

    Symbolic formula representation and solver interaction library

  2. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo

  3. hermit

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

  4. sbvPlugin

    Formally prove properties of Haskell programs using SBV/SMT.

  5. smtlib2

    SMTLib2 interface implementation for Haskell

  6. afv

    C model checking.

  7. tptp

    Parser and pretty printer for the TPTP language

  8. theoremquest

  9. SmtLib

    Parser for smt-lib Command responses

  10. 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).

Haskell Formal Methods discussion

Log in or Post with

Haskell Formal Methods related posts

  • Is Haskell a good language for CAS/numerical analysis?

    6 projects | /r/haskell | 21 Jul 2021

Index

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

# Project Stars
1 what4 156
2 hermit 48
3 sbvPlugin 44
4 smtlib2 16
5 afv 9
6 tptp 7
7 theoremquest 4
8 SmtLib 2
9 acl2 2

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
Loading...