F*

F*

F * هي لغة برمجة وظيفية تشبه ML تهدف إلى التحقق من البرنامج.يمكن لـ F * التعبير عن مواصفات دقيقة للبرامج ، بما في ذلك خصائص الصحة الوظيفية.يمكن ترجمة البرامج المكتوبة باللغة F * إلى OCaml أو F # للتنفيذ.
F * (وضوحا F star) هي لغة برمجة وظيفية تشبه ML تهدف إلى التحقق من البرنامج.يشتمل نظام النوع الخاص به على تعدد الأشكال ، والأنواع التابعة ، والآثار الأحادية ، وأنواع التحسين ، وأضعف حساب التفاضل والتكامل المسبق.معًا ، تتيح هذه الميزات التعبير عن المواصفات الدقيقة والمدمجة للبرامج ، بما في ذلك خصائص الصحة الوظيفية.يهدف مدقق النوع F * إلى إثبات أن البرامج تلبي مواصفاتها باستخدام مزيج من SMT لحل الأدلة والبراهين اليدوية.يمكن ترجمة البرامج المكتوبة باللغة F * إلى OCaml أو F # للتنفيذ ....

موقع الكتروني:

المميزات

التصنيفات

بدائل لـ F* لنظام التشغيل Linux

F# (programming language)

F# (programming language)

F # هي لغة وظيفية وموجهة وفعالة وموجزة وفعالة وموجهة ل. NET والتي تساعدك على كتابة التعليمات البرمجية البسيطة لحل المشاكل المعقدة.
CamDesk

CamDesk

CamDesk عبارة عن تطبيق مصغر لكاميرا ويب لسطح المكتب ، مفتوح المصدر ، تم إنشاؤه كتطبيق للمراقبة المنزلية.
Coq

Coq

Coq هو مساعد إثبات ، والذي يسمح لك بكتابة بروفات رياضية بطريقة صارمة ورسمية ، وتأكد من صحتها بواسطة الكمبيوتر.
Isabelle

Isabelle

إيزابيل مساعد إثبات لكتابة وفحص البراهين الرياضية عن طريق الكمبيوتر.
OCaml

OCaml

OCaml هي لغة برمجة قوة صناعية تدعم الأنماط الوظيفية والضرورية والموجهة نحو الكائن.
Agda

Agda

Agda هي لغة برمجة وظيفية مكتوبة بشكل صحيح.يحتوي على عائلات استقلالية ، أي أنواع البيانات التي تعتمد على القيم ، مثل نوع المتجهات ذات الطول المحدد.
Network Security Toolkit

Network Security Toolkit

يستند قرص ISO / CD الحي القابل للتشغيل (NST Live) إلى Fedora.
Cyberwatch

Cyberwatch

حماية الخوادم من نقاط الضعف في تكنولوجيا المعلومات. تكتشف Cyberwatch نقاط الضعف لديك وتصدر تلقائيًا إصلاحات الأمان المناسبة.