GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Programming Languages → F*

Top 10 F* open source projects

1. Fstar
A Proof-oriented Programming Language
✭ 2,171
ocamlF*F#forthshellpythonverificationsmttheorem-provingc-languagefstar
2. ROSCO toolbox
A repository for generating ROSCO controller input files and more.
✭ 21
pythonRoffmatlabschemeF*shell
3. IEA-10.0-198-RWT
No description, website, or topics provided.
✭ 24
pythonF*
4. python-toolbox
No description, website, or topics provided.
✭ 28
pythonTeXJupyter NotebooksmalltalkF*elmMakefile
5. mitls-fstar
Verified implementation of TLS 1.3 in F*
✭ 166
F*F#cpythonC++Makefile
6. carmel
finite-state toolkit, EM and Bayesian (Gibbs sampling) training for FST and context-free derivation forests
✭ 34
C++F*forthshellpythonperl
7. mlmorph
Malayalam Morphological Analyzer using Finite State Transducer
✭ 40
LexF*pythonMakefilesedshellmorphologylexiconinflectionmalayalamfinite-state-transducerfsamorphological-analysisphonological-rulessfstagglutination
8. QUIC-FStar
An implementation of the IETF QUIC protocol in F*
✭ 17
F*cMakefile
9. hifi-content
High Fidelity content
✭ 17
javascriptHTMLCSSPLSQLQMLF*
10. Creality Ender 3 ESP32 Board
No description, website, or topics provided.
✭ 48
F*nesC
1-10 of 10 F* projects