agda2lagda alternatives and similar packages

Based on the "Dependent Types" category.
Alternatively, view agda2lagda alternatives based on common mentions on social networks and blogs.

• decidable

  6.4 0.0 agda2lagda VS decidable

  Combinators for manipulating dependently-typed predicates.

• lens-typelevel

  6.0 0.0 agda2lagda VS lens-typelevel

  Type-level lenses using singletons because why not

Static code analysis for 29 languages.

Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

Promo www.sonarqube.org



• instance-map

  3.6 0.0 agda2lagda VS instance-map

  Haskell dependent types the ugly and brute force way
  

• agda-snippets-hakyll

  3.6 0.0 agda2lagda VS agda-snippets-hakyll

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

• list-witnesses

  2.7 0.0 agda2lagda VS list-witnesses

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

• agda-unused

  2.3 0.0 agda2lagda VS agda-unused

  Check for unused code in an Agda project.

• ral-optics

  - - agda2lagda VS ral-optics

  Length-indexed random access lists

Do you think we are missing an alternative of agda2lagda or a related project?