Библиотеки, написани на 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

Agda кодиране на премоноидални категории.
  • 3

agda-life

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