Symmetric_project Alternatives

Similar projects and alternatives to symmetric_project

• lean4

  53 3,739 9.9 Lean symmetric_project VS lean4

  Lean 4 programming language and theorem prover

  

• Idris2

  39 2,395 9.6 Idris symmetric_project VS Idris2

  A purely functional programming language with first class types

  

• 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.

  

• FStar

  42 2,567 9.9 F* symmetric_project VS FStar

  A Proof-oriented Programming Language

  

• dafny

  31 2,665 9.7 C# symmetric_project VS dafny

  Dafny is a verification-aware programming language

  

• z3

  28 9,731 9.8 C++ symmetric_project VS z3

  The Z3 Theorem Prover

  

• cedar-spec

  3 69 9.2 Lean symmetric_project VS cedar-spec

  Definitional implementation of Cedar language and utilities for DRT

  

• CodeContracts

  3 850 0.0 C# symmetric_project VS CodeContracts

  Discontinued Source code for the CodeContracts tools for .NET

  

• 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.

  

• idris2-pack-db

  1 14 9.5 symmetric_project VS idris2-pack-db

• CoqGym

  2 370 3.6 Coq symmetric_project VS CoqGym

  A Learning Environment for Theorem Proving with the Coq proof assistant