Agda Github Community
Results
14
repositories owned by
Agda Github Community
agda-language-server
95
Stars
17
Forks
Watchers
Language Server for Agda
agda
2.4k
Stars
337
Forks
Watchers
Agda is a dependently typed programming language / interactive theorem prover.
cubical
428
Stars
132
Forks
Watchers
An experimental library for Cubical Agda
agda-frp-js
100
Stars
12
Forks
Watchers
ECMAScript back end for Functional Reactive Programming in Agda
agda-pkg
33
Stars
8
Forks
Watchers
apkg - package manager for Agda