3
F * (تلفظ F ستاره) یک زبان برنامه نویسی کاربردی شبیه ML است که با هدف تأیید برنامه انجام می شود.سیستم نوع آن شامل پلی مورفیسم ، انواع وابسته ، اثرات monadic ، انواع پالایش و ضعیف ترین محاسبه پیش شرط است.در کنار هم ، این ویژگی ها امکان بیان مشخصات دقیق و کم حجم برای برنامه ها ، از جمله ویژگی های صحت عملکردی را دارند.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
این CD / DVD زنده بوت شده ISO (NST Live) مبتنی بر Fedora است.
1
Hi Security
سلام امنیت یک آنتی ویروس رایگان کلاس جهانی است که از تلفن اندرویدی شما در برابر حملات ویروس محافظت می کند.
- نرم افزار رایگان
- Android
0
Cyberwatch
سرورهای خود را در برابر آسیب پذیری های IT محافظت کنید. Cyberwatch نقاط ضعف شما را تشخیص می دهد و به طور خودکار اصلاحات امنیتی مناسب را مستقر می کند.
- برنامه پرداخت شده
- Windows
- Windows Server 2008 R2
- Linux
- Windows Server 2012
- Ubuntu
- CentOS
- Debian
- Red Hat
0
get2clouds
این داده ها دو بار با استفاده از رمزگذاری RC4 رمزگذاری می شود و آن را از طریق یک لایه سوکت ایمن (https) می فرستد.این رمزگذاری نهایی (E2E) باعث می شود رهگیری یا دسترسی به اطلاعات غیر از کاربر غیر ممکن باشد.
0
Masked Cache
وب سایت رایگان و آسان برای استفاده اجازه می دهد تا کلمه عبور ، نام کاربری ، گواهی نامه های امن و دیگر داده های حساس را به دوستان و همکاران خود تحویل دهید
- نرم افزار رایگان
- Web