Agda-unused Alternatives

Similar projects and alternatives to agda-unused based on common topics and language

• agda2lagda

  - 12 4.6 Haskell agda-unused VS agda2lagda

  Simple conversion from Agda text to literate Agda text.

• agda-snippets

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

• Scout APM

  scoutapm.com

  sponsored

  Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

  

• decidable

  - 11 0.0 Haskell agda-unused VS decidable

  Combinators for manipulating dependently-typed predicates.

• lens-typelevel

  - 15 0.0 Haskell agda-unused VS lens-typelevel

  Type-level lenses using singletons because why not

• instance-map

  - 2 0.0 Haskell agda-unused VS instance-map

  Haskell dependent types the ugly and brute force way

  

• list-witnesses

  - 1 0.0 Haskell agda-unused VS list-witnesses

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

• Agda

  0 1,904 9.5 Haskell agda-unused VS Agda

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

  

• SonarQube

  www.sonarqube.org

  sponsored

  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.

  

Suggest an alternative to agda-unused