Agda LibHunt

Discover popular and related Agda open-source projects

9
10
11
Our great sponsors
  • Scout APM - Leading-edge performance monitoring starting at $39/month
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

cubical

agda-stdlib

agda-categories
Mentions Stars Project Description
2 0
ninedigitproblem

Popular Agda Topics

#Agda #cellular-automaton #conway #conways-game-of-life #game-of-life #Library #parser-combinators #Proof

Latest Mentions

Latest mentioned Agda repos
Stars Project
0 ninedigitproblem
3 premonoidal
224 agda-categories
0 agda-life
77 agdarsec
390 agda-stdlib
7 pny1-assignment
246 cubical
1 agda-playground

Latest Discoveries

Latest discovered Agda repos
Stars Project
0 ninedigitproblem
3 premonoidal
224 agda-categories
77 agdarsec
0 agda-life
390 agda-stdlib
7 pny1-assignment
246 cubical
1 agda-playground