Open-typerep Alternatives

Similar projects and alternatives to open-typerep

• Agda

  27 2,371 9.8 Haskell open-typerep VS Agda

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

  

• helf

  0 25 3.3 Haskell open-typerep VS helf

  Haskell implementation of the Edinburgh Logical 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.

  

• cubical

  0 142 0.0 Haskell open-typerep VS cubical

  Implementation of Univalence in Cubical Sets (by simhu)

• hypertypes

  6 107 5.4 Haskell open-typerep VS hypertypes

  Hypertypes - generic programming for heterogeneous recursive types

  

• eliminators

  0 27 4.5 Haskell open-typerep VS eliminators

  Dependently typed elimination functions using singletons

• agda-snippets

  0 8 0.0 Haskell open-typerep VS agda-snippets

  Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.

• singletons

  2 282 6.3 Haskell open-typerep VS singletons

  Fake dependent types in Haskell using singletons

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

  

• Sit

  0 6 2.5 Haskell open-typerep VS Sit

  Prototypical type checker for Type Theory with Sized Natural Numbers (by andreasabel)

• danac

  1 10 10.0 Haskell open-typerep VS danac

  A compiler for the Dana programming language

• hoq

  0 82 0.0 Haskell open-typerep VS hoq

  A language based on homotopy type theory with an interval