22 Logic packages and projects
-
tamarin-prover
9.8 8.2 HaskellMain source code repository of the Tamarin prover for security protocol verification. -
atp-haskell
7.1 4.8 HaskellHaskell version of the code from "Handbook of Practical Logic and Automated Reasoning" -
structural-induction
3.9 0.0 HaskellSII: Structural Induction Instantiator over any strictly-positive algebraic data type. -
g4ip-prover
3.4 0.0 HaskellTheorem prover for intuitionistic propositional logic, fork of github.com/cacay/G4ip -
haskhol-core
1.1 0.0 HaskellThe core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
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.