Hs-to-coq Alternatives

Similar projects and alternatives to hs-to-coq

• Agda

  27 2,371 9.8 Haskell hs-to-coq VS Agda

  Agda is a dependently typed programming language / interactive theorem prover.

  

• principia

  10 198 2.7 TeX hs-to-coq VS principia

  The Principia Rewrite (by LogicalAtomist)

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

  

• agda2hs

  4 167 9.4 Agda hs-to-coq VS agda2hs

  Compiling Agda code to readable Haskell

  

• notes

  1 45 6.6 Haskell hs-to-coq VS notes

• UniMath

  2 910 9.5 Coq hs-to-coq VS UniMath

  This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

  

• magmide

  22 803 6.6 Coq hs-to-coq VS magmide

  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

  

• CompCert

  36 1,763 7.2 Coq hs-to-coq VS CompCert

  The CompCert formally-verified C compiler

  

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