کتابخانه های نوشته شده با جاوا اسکریپت
TypeTopology
جلوه های منطقی مفاهیم توپولوژیکی و موارد دیگر. این نسخه دیدگاه یکپارچه را اتخاذ می کند..
- 172
- GNU General Public License v3.0 only
Agda
آگدا رسمی‌سازی مقدمه‌ای بر نظریه نوع هموتوپی (توسط HoTT-Intro).
- 108
- GNU General Public License v3.0 only
agda-regexp-automata
رسمی‌سازی زبان‌های منظم در آگدا: عبارات منظم، خودکار حالت محدود، اثبات هم ارزی، اثبات لم پمپاژ..
- 13
template-agda
یک الگوی Agda که برای Gitpod (www.gitpod.io) پیکربندی شده است تا محیط های توسعه از پیش ساخته شده و زودگذر را در ابر به شما ارائه دهد.
- 8
- MIT