2 مستودعات
Awesome GitHub RepositoriesAutomated Code Verification
Tools that automatically execute verification tasks and linters in response to source code changes.
Distinct from Source Code Verification: None of the candidates cover the general developer workflow of triggering shell commands on file changes; they focus on bytecode verification or security codes.
Explore 2 awesome GitHub repositories matching development tools & productivity · Automated Code Verification. Refine with filters or upvote what's useful.
Awesome Automated Code Verification GitHub Repositories
اعثر على أفضل المستودعات باستخدام الذكاء الاصطناعي.سنبحث عن أفضل المستودعات المطابقة باستخدام الذكاء الاصطناعي.
- microsoft/bosquelanguage
microsoft/BosqueLanguage
5,215عرض على GitHubBosque هي لغة برمجة تجريبية ومنصة تطوير مصممة لبناء البرمجيات بمساعدة الآلة. تجمع بين دلالات البرمجة الوظيفية وبناء الجملة الإلزامي لفرض صحة المنطق وسلامة وقت التشغيل، مما يوفر بيئة آمنة من حيث النوع تستخدم نماذج بيانات منظمة للحفاظ على سلامة المعلومات طوال دورة حياة التطبيق. تتميز المنصة بالتكامل العميق مع أدوات التحقق الرسمية، بما في ذلك أدوات إثبات النظريات الآلية ومحركات التنفيذ الرمزي. من خلال تحويل الكود المصدري إلى تمثيل وسيط منتظم، يتيح النظام التفكير الآلي لإثبات غياب أخطاء وقت التشغيل وانتهاكات المنطق. علاوة على ذلك، تم تصميم وقت التشغيل لأداء يمكن التنبؤ به، باستخدام مترجم متخصص يلغي توقفات جمع القمامة لضمان زمن انتقال تنفيذ متسق. يوفر المشروع مجموعة شاملة من الأدوات للتطوير عالي الموثوقية، تغطي إدارة حزم المشاريع، وتتبع التبعيات، والتحقق الآلي من خصائص الكود. كما يدعم تصميم الواجهات المحايدة للغة، مما يسمح للمطورين بتعريف هياكل البيانات المشتركة وعقود الخدمة التي تضمن التحقق المتسق عبر مكونات البرمجيات المتنوعة.
Uses machine-assisted reasoning and theorem provers to prove the absence of runtime errors and verify software properties during development.
TypeScript - canop/bacon
Canop/bacon
3,133عرض على GitHubBacon is a background job runner and text-based user interface test dashboard designed for tracking code health and isolating failing tests. It functions as a developer workflow automator and file system watcher that triggers shell commands and verification tasks automatically when source files are modified. The tool allows for the definition of custom checkers and keyboard shortcuts to accelerate the iteration and debugging process. It provides a focused display for monitoring project health by tracking compilation errors and restricting active jobs to only those tests that have failed. The
Provides automatic execution of shell commands and linting tools whenever source files are modified to catch errors immediately.
Rustcargocheckcompilation
