Trending

See what the GitHub community is most excited about today.

Adjust time span

It looks like we don’t have any trending repositories for Literate Agda.

If you create a Literate Agda repository, you can really own the place.
We’d even let it slide if you started calling yourself the mayor.

Other Languages
ProTip! Looking for recently updated Literate Agda repositories? Try this search