Haskell Logic

Open-source Haskell projects categorized as Logic
Edit details
Theorem Provers Haskell haskell-library Monad Math
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Top 21 Haskell Logic Projects

Logic

  1. tamarin-prover

    Main source code repository of the Tamarin prover for security protocol verification.

  2. InfluxDB

    InfluxDB high-performance time series database. Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.

    InfluxDB logo

  3. smcdel

    A symbolic model checker for Dynamic Epistemic Logic.

  4. hout

    A non-interactive proof assistant using the Haskell type system

  5. hatt

    Truth-table generator for classical propositional logic (by beastaugh)

  6. tip-haskell-frontend

  7. atp-haskell

    Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"

  8. Heyting Algebras

    Heyting Algebras in Haskell

  9. 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

  10. picologic

    Symbolic logic expressions

  11. jukebox

    A theorem prover (by nick8325)

  12. obdd

    pure Haskell implementation of reduced ordered binary decision diagrams

  13. Folly

    First order logic in Haskell (by dillonhuff)

  14. tptp

    Parser and pretty printer for the TPTP language

  15. logic-classes

    Framework for propositional and first order logic, theorem proving

  16. g4ip-prover

    Theorem prover for intuitionistic propositional logic, fork of github.com/cacay/G4ip

  17. satchmo

    SAT encoder

  18. structural-induction

    SII: Structural Induction Instantiator over any strictly-positive algebraic data type.

  19. qed

    Experiments writing a prover

  20. g4ip

    A theorem prover using G4ip

  21. haskhol-core

    The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.

  22. tpdb

    parser and prettyprinter for TPDB syntax (termination problem data base)

  23. judge

    Tableau-based theorem prover for justification logic.

  24. SaaSHub

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

    SaaSHub 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 Logic discussion

Log in or Post with

Index

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

# Project Stars
1 tamarin-prover 455
2 smcdel 46
3 hout 37
4 hatt 26
5 tip-haskell-frontend 21
6 atp-haskell 16
7 Heyting Algebras 14
8 picologic 14
9 jukebox 13
10 obdd 11
11 Folly 9
12 tptp 7
13 logic-classes 7
14 g4ip-prover 7
15 satchmo 4
16 structural-induction 4
17 qed 3
18 g4ip 3
19 haskhol-core 2
20 tpdb 2
21 judge 1

Sponsored
InfluxDB high-performance time series database
Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.
influxdata.com
Loading...