Agda Web (@agda-web)
Guthub

agda-web

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    18
  • Global Org. Rank 123,895 (Top 40 %)
  • Registered about 4 years ago
  • Most used languages
    Python
         100.0 %
  • Location 🇹🇼 Taiwan
  • Country Ranking
    Python
         918

Top repositories

1

agda-wasm-dist

Distributions of Agda executable compiled into WebAssembly.
Python
14
star