Agda2lagda Alternatives

Similar projects and alternatives to agda2lagda

• lens-typelevel

  0 15 0.0 Haskell agda2lagda VS lens-typelevel

  Type-level lenses using singletons because why not

• agda-unused

  0 9 5.5 Haskell agda2lagda VS agda-unused

  Check for unused code in an Agda project.

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

  

• decidable

  0 12 5.2 Haskell agda2lagda VS decidable

  Combinators for manipulating dependently-typed predicates.

• agda-snippets

  0 8 0.0 Haskell agda2lagda VS agda-snippets

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

• ral-optics

  0 - - agda2lagda VS ral-optics

• list-witnesses

  0 1 0.0 Haskell agda2lagda VS list-witnesses

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

• Agda

  27 2,371 9.8 Haskell agda2lagda VS Agda

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

  

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

  

• instance-map

  0 2 0.0 Haskell agda2lagda VS instance-map

  Haskell dependent types the ugly and brute force way

  

• cornelis

  2 127 6.5 Haskell agda2lagda VS cornelis

  agda-mode for neovim

• simplex

  0 16 0.0 Haskell agda2lagda VS simplex

  Simple LaTeX