Lens-typelevel Alternatives

Similar projects and alternatives to lens-typelevel

• agda2lagda

  0 13 4.9 Haskell lens-typelevel VS agda2lagda

  Simple conversion from Agda text to literate Agda text.

• agda-snippets

  0 8 0.0 Haskell lens-typelevel VS agda-snippets

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

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

  

• ral-optics

  0 - - lens-typelevel VS ral-optics

• decidable

  0 12 5.2 Haskell lens-typelevel VS decidable

  Combinators for manipulating dependently-typed predicates.

• list-witnesses

  0 1 0.0 Haskell lens-typelevel VS list-witnesses

  Inductive dependently-typed witnesses for working with type-level lists.

• agda-unused

  0 9 5.5 Haskell lens-typelevel VS agda-unused

  Check for unused code in an Agda project.

• instance-map

  0 2 0.0 Haskell lens-typelevel VS instance-map

  Haskell dependent types the ugly and brute force way

  

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