Haskell SMT

Open-source Haskell projects categorized as SMT
Edit details
Haskell Verification Bit Vectors Math Formal Methods
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai
featured

Top 5 Haskell SMT Projects

SMT

  1. liquidhaskell

    Liquid Types For Haskell

  2. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo

  3. sbv

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

  4. hz3

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

  5. sbvPlugin

    Formally prove properties of Haskell programs using SBV/SMT.

  6. Hsmtlib

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

  7. Nutrient

    Nutrient - The #1 PDF SDK Library. Bad PDFs = bad UX. Slow load times, broken annotations, clunky UX frustrates users. Nutrient’s PDF SDKs gives seamless document experiences, fast rendering, annotations, real-time collaboration, 100+ features. Used by 10K+ devs, serving ~half a billion users worldwide. Explore the SDK for free.

    Nutrient logo
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 SMT discussion

Log in or Post with

Haskell SMT related posts

  • [ANNOUNCE] New release of SBV with support for quantifiers

    1 project | /r/haskell | 15 Apr 2023

  • liquidhaskell ghc9に対応したリリース出てたの知らなんだ

    1 project | /r/u_Dazzling_Finger_8120 | 10 Feb 2023

  • LiquidHaskell plugin build failed

    3 projects | /r/haskell | 11 Oct 2021

Index

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

# Project Stars
1 liquidhaskell 1,228
2 sbv 252
3 hz3 57
4 sbvPlugin 45
5 Hsmtlib 4

Sponsored
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai

Did you know that Haskell is
the 25th most popular programming language
based on number of references?

Loading...