Agda LibHunt

Discover popular and related Agda open-source projects
2
2
2
Our great sponsor
  • Scout - Get performance insights in less than 4 minutes
Our great sponsor
Mentions Stars Project Description
1 231
cubical
 An experimental library for Cubical Agda

Popular Agda Topics

Latest Mentions

Latest mentioned Agda repos
Stars Project
231 cubical
1 agda-playground

Latest Discoveries

Latest discovered Agda repos
Stars Project
231 cubical
1 agda-playground