Similar projects and alternatives to agda-playground
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-playground alternative or higher similarity.
Reviews and mentions
Posts with mentions or reviews of agda-playground. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-01-20.
Basic agda-playground repo stats
1 day ago
oisdk/agda-playground is an open source project licensed under MIT License which is an OSI approved license.