Haskell SMT

Open-source Haskell projects categorized as SMT | Edit details
Related topics: #Haskell #Verification #Bit Vectors #Math #Formal Methods

Top 5 Haskell SMT Projects

  • 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

  • sbv

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

  • Scout APM

    Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

  • hz3

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

  • sbvPlugin

    Formally prove properties of Haskell programs using SBV/SMT.

  • 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 933
2 sbv 158
3 hz3 43
4 sbvPlugin 39
5 Hsmtlib 3
Find remote jobs at our new job board 99remotejobs.com. There are 30 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.

Sponsored
OPS - Build and Run Open Source Unikernels
Quickly and easily build and deploy open source unikernels in tens of seconds. Deploy in any language to any cloud.
github.com/nanovms