List-witnesses Alternatives

Similar projects and alternatives to list-witnesses

• agda-unused

  0 9 5.5 Haskell list-witnesses VS agda-unused

  Check for unused code in an Agda project.

• instance-map

  0 2 0.0 Haskell list-witnesses 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.

  

• decidable

  0 12 5.2 Haskell list-witnesses VS decidable

  Combinators for manipulating dependently-typed predicates.

• lens-typelevel

  0 15 0.0 Haskell list-witnesses VS lens-typelevel

  Type-level lenses using singletons because why not

• ral-optics

  0 - - list-witnesses VS ral-optics

• agda2lagda

  0 13 4.9 Haskell list-witnesses VS agda2lagda

  Simple conversion from Agda text to literate Agda text.

• agda-snippets

  0 8 0.0 Haskell list-witnesses 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.