tpdb alternatives and similar packages

Based on the "Logic" category.
Alternatively, view tpdb alternatives based on common mentions on social networks and blogs.

tamarin-prover

9.8 0.0 tpdb VS tamarin-prover

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

7.9 0.0 tpdb VS smcdel

A symbolic model checker for Dynamic Epistemic Logic.

Static code analysis for 29 languages.

Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

Promo www.sonarqube.org

hatt

7.7 0.0 tpdb VS hatt

Truth-table generator for classical propositional logic
tip-haskell-frontend

7.5 0.0 tpdb VS tip-haskell-frontend

Convert from Haskell to Tip
picologic

6.8 0.0 tpdb VS picologic

Symbolic logic expressions
atp-haskell

6.8 0.0 tpdb VS atp-haskell

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

6.8 0.0 L2 tpdb VS picosat

Haskell bindings for PicoSAT solver
hout

6.4 0.0 tpdb VS hout

A non-interactive proof assistant using the Haskell type system
jukebox

6.1 0.0 tpdb VS jukebox

A theorem prover
logic-classes

5.9 0.0 tpdb VS logic-classes

Framework for propositional and first order logic, theorem proving
Heyting Algebras

5.6 0.0 tpdb VS Heyting Algebras

Heyting Algebras in Haskell
Folly

5.5 0.0 tpdb VS Folly

First order logic in Haskell
obdd

5.1 0.0 tpdb VS obdd

pure Haskell implementation of reduced ordered binary decision diagrams
structural-induction

4.5 0.0 tpdb VS structural-induction

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

4.0 0.0 tpdb VS g4ip-prover

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

3.8 0.0 tpdb VS qed

Experiments writing a prover
satchmo

2.7 0.0 tpdb VS satchmo

SAT encoder
g4ip

1.9 0.0 tpdb VS g4ip

A theorem prover using G4ip
minisat

1.8 0.0 tpdb VS minisat

Minisat Haskell bundle
judge

1.4 0.0 tpdb VS judge

Tableau-based theorem prover for justification logic.
haskhol-core

0.7 0.0 tpdb VS haskhol-core

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