Check for unused code in an Agda project. (by msuperdock)

Agda-unused Alternatives

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

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better agda-unused alternative or higher similarity.

Suggest an alternative to agda-unused

agda-unused reviews and mentions

Posts with mentions or reviews of agda-unused. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning agda-unused yet.
Tracking mentions began in Dec 2020.


Basic agda-unused repo stats
7 months ago

msuperdock/agda-unused is an open source project licensed under MIT License which is an OSI approved license.

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
Find remote jobs at our new job board There are 3 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.