Haskell Logic

22 Logic packages and projects

• tamarin-prover

  9.8 8.0 Haskell

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

• hatt

  7.9 0.0 Haskell

  Truth-table generator for classical propositional logic

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.

Promo scoutapm.com



• smcdel

  7.7 7.2 Haskell

  A symbolic model checker for Dynamic Epistemic Logic.
  

• tip-haskell-frontend

  7.6 0.0 Haskell

  Convert from Haskell to Tip
  

• atp-haskell

  7.0 0.0 Haskell

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

• picosat

  6.8 0.0 L2 C

  Haskell bindings for PicoSAT solver

• picologic

  6.8 0.0 Haskell

  Symbolic logic expressions

• jukebox

  6.4 2.4 Haskell

  A theorem prover

• Heyting Algebras

  6.1 0.0 Haskell

  Heyting Algebras in Haskell

• logic-classes

  6.0 0.0 Haskell

  Framework for propositional and first order logic, theorem proving
  

• hout

  6.0 0.0 Haskell

  A non-interactive proof assistant using the Haskell type system

• Folly

  5.6 0.0 Haskell

  First order logic in Haskell

• obdd

  5.1 0.0 Haskell

  pure Haskell implementation of reduced ordered binary decision diagrams

• structural-induction

  4.8 0.0 Haskell

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

• g4ip-prover

  3.8 0.0 Haskell

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

• qed

  2.6 0.0 Haskell

  Experiments writing a prover

• satchmo

  2.6 0.0 Haskell

  SAT encoder

• g4ip

  2.6 0.0 Haskell

  A theorem prover using G4ip

• tpdb

  2.5 0.0 Haskell

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

• minisat

  1.6 0.0

  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

  1.1 0.0 Haskell

  Tableau-based theorem prover for justification logic.

* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest.

Deliver Cleaner and Safer Code - Right in Your IDE of Choice! sponsored www.sonarlint.org

Popular Comparisons

• minisat
  vs
  picosat
• qed
  vs
  tamarin-prover
• picosat
  vs
  g4ip-prover
• picologic
  vs
  picosat
• tamarin-prover
  vs
  tip-haskell-frontend

OPS - Build and Run Open Source Unikernels sponsored github.com/nanovms