Decidable Alternatives

Similar projects and alternatives to decidable

• agda2lagda

  0 13 4.5 Haskell decidable VS agda2lagda

  Simple conversion from Agda text to literate Agda text.

• lens-typelevel

  0 15 0.0 Haskell decidable VS lens-typelevel

  Type-level lenses using singletons because why not

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

  

• list-witnesses

  0 1 0.0 Haskell decidable VS list-witnesses

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

• agda-unused

  0 9 5.5 Haskell decidable VS agda-unused

  Check for unused code in an Agda project.

• instance-map

  0 2 0.0 Haskell decidable VS instance-map

  Haskell dependent types the ugly and brute force way

  

• ral-optics

  0 - - decidable VS ral-optics

• agda-snippets

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