This is stars and forks stats for /project-everest/everquic-crypto repository. As of 29 Mar, 2024 this repository has 9 stars and 6 forks.
everquic-crypto F*/Low* implementation of QUIC header and packet protection, verified for memory safety, functional correctness and constant-time execution, and compiled to C. How to verify, extract and build EverQuic is implemented in F* in src/, and extracted to C in dist/EverQuic.c and dist/EverQuic.h. Then, to build the EverQuic static library, dist/libeverquic.a: Clone KaRaMeL from https://github.com/FStarLang/karamel and point the KRML_HOME environment variable to the KaRaMeL clone directory. In...
everquic-crypto F*/Low* implementation of QUIC header and packet protection, verified for memory safety, functional correctness and constant-time execution, and compiled to C. How to verify, extract and build EverQuic is implemented in F* in src/, and extracted to C in dist/EverQuic.c and dist/EverQuic.h. Then, to build the EverQuic static library, dist/libeverquic.a: Clone KaRaMeL from https://github.com/FStarLang/karamel and point the KRML_HOME environment variable to the KaRaMeL clone directory. In...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
Sketchware-Pro/Sketchware-Pro | JavaOther | 725 | 0 | 221 | 0 |
stipub/stixfonts | PerlPrologTeX | 591 | 0 | 42 | 0 |
companieshouse/ch.gov.uk | PerlCSSJavaScript | 1 | 0 | 2 | 0 |
katsujukou/purescript-halogen-helix | PureScriptDhallJavaScript | 13 | 0 | 0 | 0 |
CapnKitten/BetterDiscord | SCSSCSSOther | 136 | 0 | 743 | 0 |
hwxi/CS320-2023-Spring | Standard MLPythonTeX | 3 | 0 | 34 | 0 |
circlefin/evm-cctp-contracts | SolidityPythonOther | 72 | +3 | 34 | 0 |
maple-labs/maple-core-v2 | SolidityOther | 146 | 0 | 19 | 0 |
http-tests/cache-tests | XSLTJavaScriptHTML | 103 | 0 | 22 | 0 |
raselupm/desh-curiar | BladePHPOther | 1 | 0 | 7 | 0 |