3
F *(Fスターと発音)は、プログラムの検証を目的としたMLに似た関数型プログラミング言語です。型システムには、多型、依存型、単項効果、洗練型、および最も弱い前提条件計算が含まれます。これらの機能を組み合わせることで、機能の正確性プロパティなど、プログラムの正確でコンパクトな仕様を表現できます。F *型チェッカーは、SMT解法と手動校正の組み合わせを使用して、プログラムが仕様を満たしていることを証明することを目的としています。F *で書かれたプログラムは、実行のためにOCamlまたはF#に変換できます。
ウェブサイト:
https://www.fstar-lang.orgカテゴリー
ライセンスのあるすべてのプラットフォームでのF*の代替
17
F# (programming language)
F#は、.NET向けの簡潔で表現力豊かで効率的な機能指向およびオブジェクト指向言語であり、複雑な問題を解決するための簡単なコードを作成するのに役立ちます。
5
2
1
1
0
Cyberwatch
ITの脆弱性からサーバーを保護します。Cyberwatchは脆弱性を検出し、適切なセキュリティ修正を自動的に展開します。
0
get2clouds
RC4暗号化を使用してデータを2回暗号化し、セキュアソケットレイヤー(https)を介して送信します。このエンドツーエンド(E2E)暗号化により、ユーザー以外によるデータの傍受またはアクセスが不可能になります。
0