Popularity
3.8
Growing
Activity
0.0
Stable
6
2
1
Monthly Downloads: 18
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
agda-snippets alternatives and similar packages
Based on the "Dependent Types" category.
Alternatively, view agda-snippets alternatives based on common mentions on social networks and blogs.
-
Agda
Agda is a dependently typed programming language / interactive theorem prover. -
eliminators
Dependently typed elimination functions using singletons -
Sit
Prototypical type checker for Type Theory with Sized Natural Numbers
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
Do you think we are missing an alternative of agda-snippets or a related project?