vow-lang

عرض على مستوى المستودعات لـ 1 skills مجمعة عبر 1 مستودعات GitHub.

skills مجمعة

مستودعات

محدث

2026-07-16

خريطة المستودعات

أين توجد skills

أهم المستودعات حسب عدد skills المجمعة، مع حصتها من كتالوج هذا المنشئ وانتشارها المهني.

مستكشف المستودعات

منشئ/مستودع/skill

skill

المهنة

الوصف

آخر تحديث

Write, compile, debug, and verify Vow programs (.vow files) with contracts, CEGIS, ESBMC counterexamples, diagnostics, and vow build / vow verify.

عرض 1 من أصل 1 مستودعات

تم تحميل كل المستودعات