Agda LibHunt

Discover popular and related Agda open-source projects

12
14
15
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
Our great sponsors

cubical

agda-stdlib

agda-categories
Mentions Stars Project Description
1 91
Agda
 Agda formalisation of the Introduction to Homotopy Type Theory

Popular Agda Topics

#Agda #cellular-automaton #conway #conways-game-of-life #game-of-life #homotopy-type-theory #hott-uf #Mathematics #mathematics-library #parser-combinators #Proof #textbook #univalence #univalence-axiom #univalent-foundations #univalent-mathematics

Latest Mentions

Latest mentioned Agda repos
Stars Project
91 Agda
13 functional-linear-algebra
41 potpourri
263 cubical
1 ninedigitproblem
3 premonoidal
239 agda-categories
0 agda-life
86 agdarsec
403 agda-stdlib
8 pny1-assignment
1 agda-playground

Latest Discoveries

Latest discovered Agda repos
Stars Project
91 Agda
13 functional-linear-algebra
41 potpourri
1 ninedigitproblem
3 premonoidal
239 agda-categories
86 agdarsec
0 agda-life
403 agda-stdlib
8 pny1-assignment
263 cubical
1 agda-playground

99remotejobs.com

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