کتابخانه های نوشته شده با جاوا اسکریپت
stalin-sort
یک الگوریتم مرتبسازی استالین به هر زبانی که دوست دارید اضافه کنید ❣️ اگر دوست دارید به ما یک ⭐️ بدهید.
- 1.2k
- MIT
UniMath
هدف این کتابخانه coq رسمیت بخشیدن به حجم قابل توجهی از ریاضیات با استفاده از دیدگاه تک ظرفیتی است.
- 853
- GNU General Public License v3.0
magmide
یک زبان اثبات وابسته تایپ شده که برای مهندسین نرمافزار فعال امکانپذیر میسازد تا کد فلزی کاملاً صحیح و قابل اثبات را ممکن کند.
- 771
CoqGym
یک محیط یادگیری برای اثبات قضیه با دستیار اثبات Coq.
- 332
- GNU Lesser General Public License v3.0 only
verdi-raft
اجرای پروتکل اجماع توزیع شده Raft که در Coq با استفاده از چارچوب Verdi تأیید شده است.
- 168
- BSD 2-clause "Simplified"
analysis
کتابخانه تجزیه و تحلیل سازگار با اجزای ریاضی (توسط ریاضیات).
- 158
- GNU General Public License v3.0
coq-library-undecidability
کتابخانه ای از شواهد غیرقابل تصمیم گیری مکانیزه در دستیار اثبات Coq..
- 96
- GNU General Public License v3.0
vericert
یک ابزار سنتز سطح بالا به طور رسمی تأیید شده بر اساس CompCert و نوشته شده در Coq..
- 71
- GNU General Public License v3.0 only
scala-escape
یک افزونه کامپایلر برای کنترل طول عمر اشیا در Scala (توسط TiarkRompf).
- 62
- BSD 3-clause "New" or "Revised"