مكتبات مكتوبة بلغة 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 لمقدمة إلى Homotopy Type Theory (بواسطة HoTT-Intro).
  • 108
  • GNU General Public License v3.0 only

agdarsec

مجموع موحد المحلل اللغوي في 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"