10

8

6

4

2


9.8

8.2
tamarin-prover

8.3

2.8
smcdel

7.7
0.0
hatt

7.5

2.1
tip-haskell-frontend

7.3
0.0
hout

7.1

4.8
atp-haskell

22 Logic packages and projects

  • tamarin-prover

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

  • smcdel

    8.3 2.8 Haskell
    A symbolic model checker for Dynamic Epistemic Logic.

    • InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
    Promo www.influxdata.com
    InfluxDB Logo

  • hatt

    7.7 0.0 Haskell
    Truth-table generator for classical propositional logic

  • tip-haskell-frontend

    7.5 2.1 Haskell
    Convert from Haskell to Tip

  • hout

    7.3 0.0 Haskell
    A non-interactive proof assistant using the Haskell type system

  • atp-haskell

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

  • picologic

    6.7 0.0 Haskell
    Symbolic logic expressions

  • picosat

    6.6 0.0 L2 C
    Haskell bindings for PicoSAT solver

  • jukebox

    6.0 0.0 Haskell
    A theorem prover

  • Heyting Algebras

    5.9 0.0 Haskell
    Heyting Algebras in Haskell

  • logic-classes

    5.8 0.0 Haskell
    Framework for propositional and first order logic, theorem proving

  • Folly

    5.3 0.0 Haskell
    First order logic in Haskell

  • obdd

    5.1 2.8 Haskell
    pure Haskell implementation of reduced ordered binary decision diagrams

  • structural-induction

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

  • g4ip-prover

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

  • qed

    3.2 0.0 Haskell
    Experiments writing a prover

  • tpdb

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

  • satchmo

    2.2 4.0 Haskell
    SAT encoder

  • g4ip

    1.9 0.0 Haskell
    A theorem prover using G4ip

  • minisat

    1.9 2.4
    Minisat Haskell bundle

  • haskhol-core

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

  • judge

    0.9 0.0 Haskell
    Tableau-based theorem prover for justification logic.
Stream - Scalable APIs for Chat, Feeds, Moderation, & Video.
featured getstream.io

Popular Comparisons

SaaSHub - Software Alternatives and Reviews
featured www.saashub.com

Add another 'Logic' Package