Agda-unused Alternatives
Similar projects and alternatives to agda-unused based on common topics and language
-
-
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
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.
-
-
-
-
list-witnesses
Inductive dependently-typed witnesses for working with type-level lists.
-
Agda
Agda is a dependently typed programming language / interactive theorem prover.
-
SonarQube
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.
agda-unused reviews and mentions
We haven't tracked posts mentioning agda-unused yet.
Tracking mentions began in Dec 2020.
Stats
msuperdock/agda-unused is an open source project licensed under MIT License which is an OSI approved license.
Popular Comparisons
Are you hiring? Post a new remote job listing for free.