Agda2hs Alternatives

Similar projects and alternatives to agda2hs

• Agda

  27 2,371 9.8 Haskell agda2hs VS Agda

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

  

• really-small-backpack-example

  8 50 2.8 Haskell agda2hs VS really-small-backpack-example

  A really small example of the Backpack module system for Haskell

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

  

• Kind2

  5 2,748 9.5 Rust agda2hs VS Kind2

  Discontinued A next-gen functional language [Moved to: https://github.com/Kindelia/Kind]

  

• macaroni.nix

  6 - - agda2hs VS macaroni.nix

• sdl-gpu-hs

  4 - - agda2hs VS sdl-gpu-hs

• hs-to-coq

  2 74 0.0 Coq agda2hs VS hs-to-coq

  Convert Haskell source code to Coq source code.

  

• cute-sound-hs

  1 - - agda2hs VS cute-sound-hs

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

  

• notes

  1 45 6.6 Haskell agda2hs VS notes

• cute-c2-hs

  1 - - agda2hs VS cute-c2-hs