G4ip Alternatives

Similar projects and alternatives to g4ip

• obdd

  0 11 2.8 Haskell g4ip VS obdd

  pure Haskell implementation of reduced ordered binary decision diagrams

• hout

  0 34 0.0 Haskell g4ip VS hout

  A non-interactive proof assistant using the Haskell type system

• InfluxDB

  www.influxdata.com sponsored

  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.

  

• picosat

  0 16 0.0 C g4ip VS picosat

  Haskell bindings for PicoSAT solver

• hatt

  0 27 0.0 Haskell g4ip VS hatt

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

• logic-classes

  0 7 0.0 Haskell g4ip VS logic-classes

  Framework for propositional and first order logic, theorem proving

  

• judge

  0 1 0.0 Haskell g4ip VS judge

  Tableau-based theorem prover for justification logic.

• satchmo

  0 4 0.0 Haskell g4ip VS satchmo

  SAT encoder

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• Heyting Algebras

  0 14 0.0 Haskell g4ip VS Heyting Algebras

  Heyting Algebras in Haskell

• haskhol-core

  0 1 0.0 Haskell g4ip VS haskhol-core

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

• Hatt

  13 251 10.0 Vue g4ip VS Hatt

  Discontinued DDL/Streaming meta search engine [GET https://api.github.com/repos/FrenchGithubUser/Hatt: 403 - Repository access blocked]