Haskell SMT

Open-source Haskell projects categorized as SMT | Edit details

Top 5 Haskell SMT Projects

  • GitHub repo liquidhaskell

    Liquid Types For Haskell

    Project mention: LiquidHaskell plugin build failed | reddit.com/r/haskell | 2021-10-11

    master should already be GHC 9 ready, it just so it happens that we didn't released it on Hackage due to the fact that, practically speaking, GHC 9.0.2 is not very widely used as I think we had some minor issues, but in principle it should work, at least with cabal: https://github.com/ucsd-progsys/liquidhaskell/blob/develop/cabal.ghc9.project

  • GitHub repo sbv

    SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

  • 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 hz3

    Haskell bindings to Microsoft's Z3 API (unofficial).

  • GitHub repo sbvPlugin

    Formally prove properties of Haskell programs using SBV/SMT.

  • GitHub repo Hsmtlib

    Haskell library for easy interaction with SMT-LIB 2 compliant solvers.

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). The latest post mention was on 2021-10-11.

Haskell SMT related posts

Index

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

Project Stars
1 liquidhaskell 923
2 sbv 156
3 hz3 40
4 sbvPlugin 38
5 Hsmtlib 3
Find remote jobs at our new job board 99remotejobs.com. There are 32 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
www.saashub.com