Agda-unused Alternatives

Similar projects and alternatives to agda-unused

• agda2lagda

  0 13 4.5 Haskell agda-unused VS agda2lagda

  Simple conversion from Agda text to literate Agda text.

• list-witnesses

  0 1 0.0 Haskell agda-unused VS list-witnesses

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

• 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 agda-unused VS decidable

  Combinators for manipulating dependently-typed predicates.

• lens-typelevel

  0 15 0.0 Haskell agda-unused VS lens-typelevel

  Type-level lenses using singletons because why not

• agda-snippets

  0 8 0.0 Haskell agda-unused VS agda-snippets

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

• instance-map

  0 2 0.0 Haskell agda-unused VS instance-map

  Haskell dependent types the ugly and brute force way

  

• cornelis

  2 127 6.5 Haskell agda-unused VS cornelis

  agda-mode for neovim

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