cryspen / hacl-packagesView external linksLinks
The Cryspen HACL Distribution
☆20Apr 20, 2025Updated 9 months ago
Alternatives and similar repositories for hacl-packages
Users that are interested in hacl-packages are comparing it to the libraries listed below
Sorting:
- ☆33Updated this week
- A list of cryptography books, papers, blog posts, presentations, and Q&A answers.☆19Sep 24, 2023Updated 2 years ago
- The formally verified crypto library for Rust☆204Updated this week
- ☆45Apr 8, 2025Updated 10 months ago
- A simple, secure IMAP server with encrypted data at rest☆22Dec 31, 2025Updated last month
- OCaml bytecode library tools☆33Apr 19, 2022Updated 3 years ago
- MPRI-2.4 Dependently-typed Functional Programming☆32Dec 10, 2020Updated 5 years ago
- File integrity monitor with malware detection using machine learning☆14May 23, 2024Updated last year
- Cryptography libraries for ZKsync☆39Updated this week
- Fiat-Shamir for the masses.☆87Dec 27, 2025Updated last month
- CertiCrypt Coq Framework☆37Apr 6, 2016Updated 9 years ago
- Please see https://github.com/hacspec/hax☆246Feb 12, 2024Updated 2 years ago
- Library of common cryptographic algorithms and functions for Pony☆12Jul 16, 2025Updated 6 months ago
- Data analityics and dashboards about your perfomance inside neovim? yeah 📊☆12May 22, 2024Updated last year
- adamant.finance contracts☆18Jul 10, 2021Updated 4 years ago
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jan 24, 2026Updated 3 weeks ago
- The Boiler framework, including sample projects☆13Feb 11, 2020Updated 6 years ago
- An LSP and CLI for RON files that provides autocomplete, diagnostics, go to definition, code actions, and hover support based on Rust typ…☆49Dec 25, 2025Updated last month
- Cross platform stackful task/coroutine library☆11Apr 14, 2022Updated 3 years ago
- ☆13Aug 15, 2024Updated last year
- ☆11Sep 11, 2018Updated 7 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- Network Block Device (NBD) server and client written in Rust☆12Dec 4, 2024Updated last year
- ☆12Jan 28, 2026Updated 2 weeks ago
- Package wifiqr implements support for generating WiFi QR codes. MIT Licensed.☆13Oct 1, 2024Updated last year
- Webcam virtual backgrounds with Rust, Tensorflow & RobustVideoMatting☆11Sep 26, 2023Updated 2 years ago
- Working through https://leanpub.com/optics-by-example by Chris Penner☆11Sep 9, 2021Updated 4 years ago
- In-Memory Java Compiler☆12Oct 13, 2020Updated 5 years ago
- Show your Discord friends what your scrobbling on Last.FM with this simple command line program.☆10Jan 20, 2026Updated 3 weeks ago
- implementation of bk-tree for golang☆11Jan 25, 2021Updated 5 years ago
- A wrapper library for the set of ptrace-related system calls in Linux☆13May 20, 2014Updated 11 years ago
- SHA256 implemented in WASM☆13Jun 2, 2023Updated 2 years ago
- The legacy CamlDBM library for accessing NDBM/GDBM database files☆12Jul 11, 2024Updated last year
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- Project template for GBA programming without the hassle of installing devkitpro☆13Nov 13, 2021Updated 4 years ago
- Primitives and routines for 2D shapes, curves, and paths. A port of kurbo.☆11Mar 26, 2025Updated 10 months ago
- OCaml bindings for the Integer Set Library.☆13Jun 12, 2014Updated 11 years ago
- XMSS[MT] commandline tool☆13Dec 18, 2023Updated 2 years ago