Agda ile yazılmış kütüphaneler
TypeTopology
Topolojik kavramların ve diğer şeylerin mantıksal tezahürleri. Bu sürüm, tek değerli bakış açısını benimser.
- 172
- GNU General Public License v3.0 only
Agda
Homotopi Tip Teorisine Giriş'in Agda resmileştirilmesi (HoTT-Intro tarafından).
- 108
- GNU General Public License v3.0 only
agda-regexp-automata
Agda'da Düzenli Dillerin Biçimlendirilmesi: düzenli ifadeler, sonlu durum otomatları, eşdeğerlik kanıtı, pompalama lemmasının kanıtı..
- 13
pny1-assignment
Tip sınıfları ve bağımlı tipler hakkında gevezelik ettiğim üniversite ödevi yazısı..
- 12
template-agda
Gitpod (www.gitpod.io) için yapılandırılmış bir Agda şablonu, size bulutta önceden oluşturulmuş, kısa ömürlü geliştirme ortamları sunar.
- 8
- MIT