F*

F*

F *, program doğrulamayı amaçlayan ML benzeri bir işlevsel programlama dilidir.F *, fonksiyonel doğruluk özellikleri dahil olmak üzere programlar için kesin özellikleri ifade edebilir.F * ile yazılmış programlar yürütme için OCaml veya F # diline çevrilebilir.
F * (belirgin F yıldızı), program doğrulamasına yönelik ML benzeri bir işlevsel programlama dilidir.Tip sistemi, polimorfizm, bağımlı tipler, monadik etkiler, arıtma tipleri ve en zayıf önkoşul hesabını içerir.Bu özellikler birlikte, işlevsel doğruluk özellikleri de dahil olmak üzere programlar için kesin ve kompakt özelliklerin ifade edilmesini sağlar.F * tip kontrolörü, programların SMT çözme ve manuel ispatların bir kombinasyonunu kullanarak özelliklerini karşıladığını kanıtlamayı amaçlamaktadır.F * ile yazılmış programlar yürütme için OCaml veya F # diline çevrilebilir.
f-

İnternet sitesi:

Özellikleri

Kategoriler

Herhangi bir lisansa sahip tüm platformlar için F*'a alternatifler

F# (programming language)

F# (programming language)

F #, .NET için kısa ve öz, işlevsel ve nesne yönelimli bir dildir ve karmaşık sorunları çözmek için basit kodlar yazmanıza yardımcı olur.
CamDesk

CamDesk

CamDesk, ev gözetim uygulaması olarak oluşturulmuş ücretsiz, açık kaynaklı, masaüstü web kamerası widget'ıdır.
Coq

Coq

Coq, matematiksel kanıtları titiz ve resmi bir şekilde yazmanıza ve bilgisayar tarafından doğru olup olmadığını kontrol etmenize izin veren bir kanıt asistanıdır.
Isabelle

Isabelle

Isabelle matematiksel kanıtları bilgisayarla yazmak ve kontrol etmek için kanıt asistanıdır.
OCaml

OCaml

OCaml, işlevsel, zorunlu ve nesneye yönelik stilleri destekleyen bir endüstriyel güç programlama dilidir.
Agda

Agda

Agda, bağımlı olarak yazılan işlevsel bir programlama dilidir.Endüktif ailelere, yani belirli bir uzunluktaki vektörlerin türü gibi değerlere bağlı veri türlerine sahiptir.
Network Security Toolkit

Network Security Toolkit

Bu önyüklenebilir ISO canlı CD / DVD (NST Live), Fedora'ya dayanmaktadır.
Hi Security

Hi Security

Hi Security, Android telefonunuzu tüm virüs saldırılarına karşı koruyan birinci sınıf bir ÜCRETSİZ Antivirüs uygulamasıdır.
Cyberwatch

Cyberwatch

Sunucularınızı güvenlik açıklarından koruyun.Cberber güvenlik açıklarınızı tespit eder ve uygun güvenlik düzeltmelerini otomatik olarak dağıtır.
get2clouds

get2clouds

Verileri RC4 şifrelemesi kullanarak iki kez şifreler ve güvenli bir soket katmanı (https) ile gönderir.Bu uçtan uca (E2E) şifreleme, kullanıcı dışında herhangi biri tarafından verilere müdahale veya erişimi imkansız hale getirir.
Masked Cache

Masked Cache

Şifrelerin, kullanıcı adlarının, güvenli sertifikaların ve diğer hassas verilerin arkadaşlarınıza ve iş arkadaşlarınıza aktarılmasını sağlayan ücretsiz ve kullanımı kolay web sitesi
  • Ücretsiz
  • Web