jukebox alternatives and similar packages

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

• tamarin-prover

  9.8 7.8 jukebox VS tamarin-prover

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

• smcdel

  8.2 3.1 jukebox VS smcdel

  A symbolic model checker for Dynamic Epistemic Logic.
  

InfluxDB - Power Real-Time Data Analytics at Scale

Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

Promo www.influxdata.com



• hatt

  7.9 0.0 jukebox VS hatt

  Truth-table generator for classical propositional logic

• tip-haskell-frontend

  7.5 7.5 jukebox VS tip-haskell-frontend

  Convert from Haskell to Tip
  

• hout

  7.3 0.0 jukebox VS hout

  A non-interactive proof assistant using the Haskell type system

• atp-haskell

  6.9 0.0 jukebox VS atp-haskell

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

• picologic

  6.8 0.0 jukebox VS picologic

  Symbolic logic expressions

• picosat

  6.7 0.0 L2 jukebox VS picosat

  Haskell bindings for PicoSAT solver

• Heyting Algebras

  6.0 0.0 jukebox VS Heyting Algebras

  Heyting Algebras in Haskell

• logic-classes

  5.9 0.0 jukebox VS logic-classes

  Framework for propositional and first order logic, theorem proving
  

• obdd

  5.3 2.8 jukebox VS obdd

  pure Haskell implementation of reduced ordered binary decision diagrams

• Folly

  5.3 0.0 jukebox VS Folly

  First order logic in Haskell

• structural-induction

  4.1 0.0 jukebox VS structural-induction

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

• g4ip-prover

  3.9 0.0 jukebox VS g4ip-prover

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

• qed

  3.4 0.0 jukebox VS qed

  Experiments writing a prover

• tpdb

  3.1 5.3 jukebox VS tpdb

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

• satchmo

  2.5 0.0 jukebox VS satchmo

  SAT encoder

• minisat

  1.7 0.0 jukebox VS minisat

  Minisat Haskell bundle

• g4ip

  1.6 0.0 jukebox VS g4ip

  A theorem prover using G4ip

• judge

  1.1 0.0 jukebox VS judge

  Tableau-based theorem prover for justification logic.

• haskhol-core

  0.6 0.0 jukebox VS haskhol-core

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

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

Do you think we are missing an alternative of jukebox or a related project?

WorkOS - The modern identity platform for B2B SaaS sponsored workos.com

Popular Comparisons

• jukebox
  vs
  picosat
• minisat
  vs
  picosat
• qed
  vs
  tamarin-prover
• picosat
  vs
  picologic
• minisat
  vs
  tamarin-prover

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