Perpustakaan yang ditulis dalam Agda

agda-stdlib

Perpustakaan standar Agda.
  • 517
  • GNU General Public License v3.0

cubical

Perpustakaan eksperimental untuk Cubical Agda.
  • 372
  • GNU General Public License v3.0

TypeTopology

Manifestasi logis dari konsep topologi, dan hal lainnya. Versi ini mengadopsi sudut pandang univalen..
  • 172
  • GNU General Public License v3.0 only

agda2hs

Mengkompilasi kode Agda ke Haskell yang dapat dibaca.
  • 133
  • MIT

Agda

Agda formalisasi Pengantar Teori Tipe Homotopi (oleh HoTT-Intro).
  • 108
  • GNU General Public License v3.0 only

agdarsec

Total Penggabung Parser di Agda.
  • 105
  • GNU General Public License v3.0 only

agda-regexp-automata

Formalisasi Bahasa Reguler di Agda: ekspresi reguler, automata keadaan terbatas, bukti kesetaraan, bukti lemma pemompaan..
  • 13

pny1-assignment

Tulisan tugas kuliah di mana saya mengoceh tentang kelas tipe dan tipe dependen..
  • 12

template-agda

Template Agda, yang dikonfigurasi untuk Gitpod (www.gitpod.io) untuk memberi Anda lingkungan pengembangan singkat yang telah dibuat sebelumnya di cloud..
  • 8
  • MIT

premonoidal

Pengkodean Agda dari kategori premonoidal.
  • 3

agda-life

Permainan Kehidupan Conway di Agda..
  • 0
  • BSD 3-clause "New" or "Revised"