Discover trending Agda
open-source projects

13
8
17
Our great sponsors
  • Nanos - Run Linux Software Faster and Safer than Linux with Unikernels
  • Scout APM - A developer's best friend. Try free for 14-days
  • SaaSHub - Software Alternatives and Reviews
Mentions
@
Stars Project Description
We couldn't find any libraries for the selected period

Popular Agda Topics

Latest Mentions

Latest mentioned Agda repos
Stars Project
41 potpourri
0 learning-agda
93 Agda
15 functional-linear-algebra
269 cubical
1 ninedigitproblem
3 premonoidal
244 agda-categories
0 agda-life
86 agdarsec
409 agda-stdlib
8 pny1-assignment
6 agda-playground

Latest Discoveries

Latest discovered Agda repos
Stars Project
0 learning-agda
93 Agda
15 functional-linear-algebra
41 potpourri
1 ninedigitproblem
3 premonoidal
244 agda-categories
86 agdarsec
0 agda-life
409 agda-stdlib
8 pny1-assignment
269 cubical
6 agda-playground

99remotejobs.com

Find remote jobs at our new job board 99remotejobs.com. There are 33 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.