F*


Total Packages: 12

Popular F* Packages See more »

hacl-wasm
Javascript bindings for the KaRaMeL-extracted WebAssembly version of the HACL* cryptographic library
Latest release 1.4.0 - Updated - 1.6K stars
ulibfs
Package Description
Latest release 0.0.3 - Updated - 2.67K stars
integron-finder
Integron Finder aims at detecting integrons in DNA sequences
Latest release 2.0.5 - Updated - 62 stars
@prometheansacrifice/hacl-wasm
Not for public consumption. Javascript bindings for the KaRaMeL-extracted WebAssembly version of ...
Latest release 1.2.0 - Published - 1.6K stars
@smartpy/hacl-wasm
Javascript bindings for the KreMLin-extracted WebAssembly version of the HACL* cryptographic library
Latest release 0.0.3 - Updated - 1.6K stars

New F* Packages See more »

EverParse.Linux
EverParse: verified parsing for binary data formats
Latest release 2024.10.23 - Published - 249 stars
EverParse.Windows
EverParse: verified parsing for binary data formats
Latest release 2024.10.23 - Published - 249 stars
FStarLang.DotNet.Common.ProjectTemplates.1.0
Common File Templates for F* language
Latest release 0.1.2 - Published - 8 stars
@prometheansacrifice/hacl-wasm
Not for public consumption. Javascript bindings for the KaRaMeL-extracted WebAssembly version of ...
Latest release 1.2.0 - Published - 1.6K stars
EverParse
EverParse: verified parsing for binary data formats
Latest release 2022.6.13 - Published - 249 stars

Updated F* Packages See more »

integron-finder
Integron Finder aims at detecting integrons in DNA sequences
Latest release 2.0.5 - Updated - 62 stars
hacl-wasm
Javascript bindings for the KaRaMeL-extracted WebAssembly version of the HACL* cryptographic library
Latest release 1.4.0 - Updated - 1.6K stars
@ligolang/hacl-wasm
Javascript bindings for the KreMLin-extracted WebAssembly version of the HACL* cryptographic library
Latest release 1.1.0-dev.1 - Updated - 1.6K stars
@smartpy/hacl-wasm
Javascript bindings for the KreMLin-extracted WebAssembly version of the HACL* cryptographic library
Latest release 0.0.3 - Updated - 1.6K stars
BacAnt
This program is designed for annotation of antimicrobal resistance(AMR), transposon(Tn) and integ...
Latest release 3.3.3 - Updated - 11 stars

Most Depended upon F* Packages

@prometheansacrifice/hacl-wasm
Not for public consumption. Javascript bindings for the KaRaMeL-extracted WebAssembly version of ...
Latest release 1.2.0 - Published - 1.6K stars
@tezwell/hacl-wasm
Javascript bindings for the KreMLin-extracted WebAssembly version of the HACL* cryptographic library
Latest release 0.0.4 - Published - 1.6K stars
hacl-wasm
Javascript bindings for the KaRaMeL-extracted WebAssembly version of the HACL* cryptographic library
Latest release 1.4.0 - Updated - 1.6K stars
@smartpy/hacl-wasm
Javascript bindings for the KreMLin-extracted WebAssembly version of the HACL* cryptographic library
Latest release 0.0.3 - Updated - 1.6K stars
@ligolang/hacl-wasm
Javascript bindings for the KreMLin-extracted WebAssembly version of the HACL* cryptographic library
Latest release 1.1.0-dev.1 - Updated - 1.6K stars

Top F* Licenses

Apache-2.0 8 projects

GPL-3.0 2 projects

MIT 2 projects

Top F* Package Managers

npm 5 projects

NuGet 5 projects

PyPI 2 projects