Библиотеки, написанные на Agda

agda-stdlib

Стандартная библиотека Agda.
  • 517
  • GNU General Public License v3.0

cubical

Экспериментальная библиотека для Cubical Agda.
  • 372
  • GNU General Public License v3.0

TypeTopology

Логические проявления топологических понятий и прочее. Эта версия принимает универсальную точку зрения.
  • 172
  • GNU General Public License v3.0 only

agda2hs

Компиляция кода Agda в удобочитаемый Haskell.
  • 133
  • MIT

Agda

Формализация Agda введения в теорию гомотопических типов (от HoTT-Intro).
  • 108
  • GNU General Public License v3.0 only

agdarsec

Total Parser Combinators в Agda.
  • 105
  • GNU General Public License v3.0 only

agda-regexp-automata

Формализация регулярных языков в Agda: регулярные выражения, конечные автоматы, доказательство эквивалентности, доказательство леммы о накачке.
  • 13

pny1-assignment

Написание задания для колледжа, в котором я рассказываю о классах типов и зависимых типах.
  • 12

template-agda

Шаблон Agda, настроенный для Gitpod (www.gitpod.io), чтобы предоставить вам предварительно созданные эфемерные среды разработки в облаке.
  • 8
  • MIT

premonoidal

Агда-кодирование премоноидальных категорий.
  • 3

agda-life

Игра жизни Конвея в Агде.
  • 0
  • BSD 3-clause "New" or "Revised"