Biblioteki napisane w Agda

agda-stdlib

Standardowa biblioteka Agdy.
  • 517
  • GNU General Public License v3.0

cubical

Eksperymentalna biblioteka dla Cubical Agda.
  • 372
  • GNU General Public License v3.0

TypeTopology

Logiczne przejawy pojęć topologicznych i nie tylko. Ta wersja przyjmuje jednowartościowy punkt widzenia.
  • 172
  • GNU General Public License v3.0 only

agda2hs

Kompilacja kodu Agda do czytelnego Haskella.
  • 133
  • MIT

Agda

Agda formalizacja Wstępu do teorii typów homotopii (przez HoTT-Intro).
  • 108
  • GNU General Public License v3.0 only

agdarsec

Total Parser Combinators w Agda.
  • 105
  • 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

premonoidal

Kodowanie Agda kategorii premonoidalnych.
  • 3

agda-life

Conway's Game of Life in Agda..
  • 0
  • BSD 3-clause "New" or "Revised"