کتابخانه های نوشته شده با جاوا اسکریپت
unbound
پاسخ: برنامه نویسی عمومی و بدون محدودیت: درمان عمومی بایندرها.
- 40
- BSD 3-clause "New" or "Revised"
cps
رسمیسازی محاسبات سبک ادامهدار در Coq [WIP] (توسط takanuva).
- 20
- BSD 3-clause "New" or "Revised"
comonad-transformers
ترانسفورماتورهای کوموناد Haskell 98 - از نسخه 4.0 این ترانسفورماتورها در بسته کوموناد ادغام شدند.
- 12
- BSD 3-clause "New" or "Revised"
Doubly-Linked-List-VST
پروژه نهایی برای CS2603 (بهار 2021)، با هدف تأیید یک کتابخانه لیست دوگانه با استفاده از VST. همکاری با @karzexcc.
- 2
- GNU General Public License v3.0 only
recross-coq
موتور Regexp در Coq برای حل جدول کلمات متقاطع regexp.
- 0
- GNU General Public License v3.0 only