22 Logic packages and projects
-
tamarin-prover
9.8 7.5 HaskellMain source code repository of the Tamarin prover for security protocol verification. -
atp-haskell
6.9 0.0 HaskellHaskell version of the code from "Handbook of Practical Logic and Automated Reasoning" -
structural-induction
4.1 0.0 HaskellSII: Structural Induction Instantiator over any strictly-positive algebraic data type. -
g4ip-prover
3.9 0.0 HaskellTheorem prover for intuitionistic propositional logic, fork of github.com/cacay/G4ip -
haskhol-core
0.6 0.0 HaskellThe core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
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
* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest.