3
F * (وضوحا F star) هي لغة برمجة وظيفية تشبه ML تهدف إلى التحقق من البرنامج.يشتمل نظام النوع الخاص به على تعدد الأشكال ، والأنواع التابعة ، والآثار الأحادية ، وأنواع التحسين ، وأضعف حساب التفاضل والتكامل المسبق.معًا ، تتيح هذه الميزات التعبير عن المواصفات الدقيقة والمدمجة للبرامج ، بما في ذلك خصائص الصحة الوظيفية.يهدف مدقق النوع F * إلى إثبات أن البرامج تلبي مواصفاتها باستخدام مزيج من SMT لحل الأدلة والبراهين اليدوية.يمكن ترجمة البرامج المكتوبة باللغة F * إلى OCaml أو F # للتنفيذ ....
موقع الكتروني:
https://www.fstar-lang.orgالمميزات
التصنيفات
بدائل F* لجميع المنصات مع أي ترخيص
17
F# (programming language)
F # هي لغة وظيفية وموجهة وفعالة وموجزة وفعالة وموجهة ل. NET والتي تساعدك على كتابة التعليمات البرمجية البسيطة لحل المشاكل المعقدة.
5
4
3
3
2
1
Network Security Toolkit
يستند قرص ISO / CD الحي القابل للتشغيل (NST Live) إلى Fedora.
1
Hi Security
Hi Security عبارة عن مضاد فيروسات مجاني على مستوى عالمي يحمي هاتف Android الخاص بك من جميع هجمات الفيروسات.
- تطبيق مجاني
- Android
0
Cyberwatch
حماية الخوادم من نقاط الضعف في تكنولوجيا المعلومات. تكتشف Cyberwatch نقاط الضعف لديك وتصدر تلقائيًا إصلاحات الأمان المناسبة.
- التطبيق المدفوع
- Windows
- Windows Server 2008 R2
- Linux
- Windows Server 2012
- Ubuntu
- CentOS
- Debian
- Red Hat
0
get2clouds
يقوم بتشفير البيانات مرتين باستخدام تشفير RC4 وإرساله عبر طبقة مقبس آمن (https).يجعل هذا التشفير الشامل (E2E) اعتراض البيانات أو الوصول إليها مستحيلًا من قبل أي شخص آخر غير المستخدم.
0
Masked Cache
موقع ويب مجاني وسهل الاستخدام يسمح بتسليم كلمات المرور وأسماء المستخدمين والشهادات الآمنة والبيانات الحساسة الأخرى إلى أصدقائك وزملائك
- تطبيق مجاني
- Web