@bond15
github

bond15

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    20
  • Global Rank 640,821 (Top 23 %)
  • Followers 44
  • Following 33
  • Registered about 10 years ago
  • Most used languages
    Agda     75.0 %
    Haskell
         25.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 112,595
  • Country Ranking
    Agda     20
    Haskell
         1,783

Top repositories

1

Polynomials-Categorically

Polynomial Functors in Agda
Agda
7
star
2

Dialectica

2022 AMS MRC on Applied Category Theory.
Agda
5
star
3

Presentations

Type Theory, Theory of Computation, Quantum Computation, Algebra, ..
5
star
4

Lambda-Cube

Haskell
2
star
5

Agda-PLFA

Agda
1
star