Toychain Alternatives

Similar projects and alternatives to toychain based on common topics and language

• Coq-Equations

  1 208 6.6 Coq toychain VS Coq-Equations

  A function definition package for Coq

• awesome-substrate

  1 718 4.8 toychain VS awesome-substrate

  A curated list of awesome projects and resources related to the Substrate blockchain development framework.

  

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

  

• aneris

  1 30 9.0 Coq toychain VS aneris

  Program logic for developing and verifying distributed systems

  

• ConCert

  1 107 8.0 Coq toychain VS ConCert

  A framework for smart contract verification in Coq

  

• verdi-raft

  1 177 6.6 Coq toychain VS verdi-raft

  An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

  

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