Agda2lagda Alternatives

Similar projects and alternatives to agda2lagda

• lens-typelevel

  - 15 0.0 Haskell agda2lagda VS lens-typelevel

  Type-level lenses using singletons because why not

• decidable

  - 12 0.0 Haskell agda2lagda VS decidable

  Combinators for manipulating dependently-typed predicates.

• InfluxDB

  www.influxdata.com

  sponsored

  Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.

  

• agda-unused

  - 9 0.0 Haskell agda2lagda VS agda-unused

  Check for unused code in an Agda project.

• agda-snippets

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

• Agda

  - 2,059 9.9 Haskell agda2lagda VS Agda

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

  

• list-witnesses

  - 1 0.0 Haskell agda2lagda VS list-witnesses

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

• ral-optics

  - - - agda2lagda VS ral-optics

• SonarLint

  www.sonarlint.org

  sponsored

  Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.

  

• instance-map

  - 2 0.0 Haskell agda2lagda VS instance-map

  Haskell dependent types the ugly and brute force way