Idris2-pack-db Alternatives

Similar projects and alternatives to idris2-pack-db

• lean4

  55 3,763 9.9 Lean idris2-pack-db VS lean4

  Lean 4 programming language and theorem prover

  

• FStar

  42 2,567 9.9 F* idris2-pack-db VS FStar

  A Proof-oriented Programming Language

  

• InfluxDB

  www.influxdata.com featured

  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.

  

• Idris2

  39 2,401 9.5 Idris idris2-pack-db VS Idris2

  A purely functional programming language with first class types

  

• dafny

  31 2,763 9.7 C# idris2-pack-db VS dafny

  Dafny is a verification-aware programming language

  

• z3

  28 9,731 9.8 C++ idris2-pack-db VS z3

  The Z3 Theorem Prover

  

• CodeContracts

  3 850 0.0 C# idris2-pack-db VS CodeContracts

  Discontinued Source code for the CodeContracts tools for .NET

  

• symmetric_project

  1 78 9.1 Lean idris2-pack-db VS symmetric_project

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• cedar-spec

  3 69 9.2 Lean idris2-pack-db VS cedar-spec

  Definitional implementation of Cedar language and utilities for DRT

  

• CoqGym

  2 370 3.6 Coq idris2-pack-db VS CoqGym

  A Learning Environment for Theorem Proving with the Coq proof assistant