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.83K stars
@tezwell/hacl-wasm
Javascript bindings for the KreMLin-extracted WebAssembly version of the HACL* cryptographic library
Latest release 0.0.4 - Updated - 1.83K stars
ulibfs
Package Description
Latest release 0.0.3 - Updated - 3K stars
@prometheansacrifice/hacl-wasm
Not for public consumption. Javascript bindings for the KaRaMeL-extracted WebAssembly version of ...
Latest release 1.2.0 - Published - 1.83K stars
@smartpy/hacl-wasm
Javascript bindings for the KreMLin-extracted WebAssembly version of the HACL* cryptographic library
Latest release 0.0.3 - Updated - 1.83K stars

New F* Packages See more »

EverParse.Linux
EverParse: verified parsing for binary data formats
Latest release 2024.10.23 - Published - 252 stars
EverParse.Windows
EverParse: verified parsing for binary data formats
Latest release 2024.10.23 - Published - 252 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.83K stars
EverParse
EverParse: verified parsing for binary data formats
Latest release 2022.6.13 - Published - 252 stars

Updated F* Packages See more »

golden-dkg
Golden DKG + threshold BLS signatures + vetKeys IBE + Simplex BFT consensus
Latest release 0.2.6 - Updated - 2 stars
hacl-wasm
Javascript bindings for the KaRaMeL-extracted WebAssembly version of the HACL* cryptographic library
Latest release 1.4.0 - Updated - 1.83K 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.83K stars
@smartpy/hacl-wasm
Javascript bindings for the KreMLin-extracted WebAssembly version of the HACL* cryptographic library
Latest release 0.0.3 - Updated - 1.83K 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

@tezwell/hacl-wasm
Javascript bindings for the KreMLin-extracted WebAssembly version of the HACL* cryptographic library
Latest release 0.0.4 - Updated - 1.83K stars
@prometheansacrifice/hacl-wasm
Not for public consumption. Javascript bindings for the KaRaMeL-extracted WebAssembly version of ...
Latest release 1.2.0 - Published - 1.83K stars
hacl-wasm
Javascript bindings for the KaRaMeL-extracted WebAssembly version of the HACL* cryptographic library
Latest release 1.4.0 - Updated - 1.83K stars
@smartpy/hacl-wasm
Javascript bindings for the KreMLin-extracted WebAssembly version of the HACL* cryptographic library
Latest release 0.0.3 - Updated - 1.83K 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.83K stars

Top F* Licenses

Apache-2.0 9 projects

MIT 3 projects

GPL-3.0 1 project

Top F* Package Managers

npm 5 projects

NuGet 5 projects

Cargo 1 project

PyPI 1 project