Biblioteki napisane w Agda
TypeTopology
Logiczne przejawy pojęć topologicznych i nie tylko. Ta wersja przyjmuje jednowartościowy punkt widzenia.
- 172
- GNU General Public License v3.0 only
Agda
Agda formalizacja Wstępu do teorii typów homotopii (przez HoTT-Intro).
- 108
- GNU General Public License v3.0 only
agda-regexp-automata
Formalizacja języków regularnych w agdzie: wyrażenia regularne, automaty skończone, dowód równoważności, dowód lematu o pompowaniu.
- 13
pny1-assignment
Pisanie zadań na studia, w których włóczę się po klasach typów i typach zależnych.
- 12
template-agda
Szablon Agda, skonfigurowany dla Gitpod (www.gitpod.io), aby zapewnić gotowe, efemeryczne środowiska programistyczne w chmurze.
- 8
- MIT