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:
- A list of cryptography books, papers, blog posts, presentations, and Q&A answers.☆19Sep 24, 2023Updated 2 years ago
- ☆33Updated this week
- The formally verified crypto library for Rust☆204Updated this week
- ☆45Apr 8, 2025Updated 10 months ago
- OCaml bytecode library tools☆33Apr 19, 2022Updated 3 years ago
- E2EIRC allows you to create end to end encrpyted chat rooms on Regular (Unmodified) IRC servers and your favorite IRC client.☆29Oct 31, 2017Updated 8 years ago
- MPRI-2.4 Dependently-typed Functional Programming☆32Dec 10, 2020Updated 5 years ago
- Cryptography libraries for ZKsync☆39Feb 6, 2026Updated last week
- Fiat-Shamir for the masses.☆87Dec 27, 2025Updated last month
- This is a Tamarin model of TLS 1.3☆41Aug 19, 2023Updated 2 years ago
- Please see https://github.com/hacspec/hax☆246Feb 12, 2024Updated 2 years ago
- mySight is myspectral.com Spectruino analyzer for light spectra in UV/VIS/NIR☆19Dec 26, 2013Updated 12 years ago
- Sage implementation of the MAYO scheme☆14Feb 3, 2025Updated last year
- adamant.finance contracts☆18Jul 10, 2021Updated 4 years ago
- Library of common cryptographic algorithms and functions for Pony☆12Jul 16, 2025Updated 6 months ago
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- SHA256 implemented in WASM☆13Jun 2, 2023Updated 2 years ago
- Verified NbE via gluing in Agda☆11May 19, 2024Updated last year
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jan 24, 2026Updated 2 weeks ago
- A serverless Pastebin that allows users to share text content through a link☆11Aug 23, 2022Updated 3 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Jun 24, 2020Updated 5 years ago
- A stealth wallet contract using the BLS12-381 curve for Cardano.☆13Oct 26, 2025Updated 3 months ago
- implementation of bk-tree for golang☆11Jan 25, 2021Updated 5 years ago
- ☆11Jan 5, 2022Updated 4 years ago
- A mutation testing CLI tool built in Rust. Currently supports Noir as a target language☆12Dec 2, 2024Updated last year
- -☆11Dec 18, 2022Updated 3 years ago
- ☆12May 17, 2021Updated 4 years ago
- ☆12Nov 18, 2025Updated 2 months ago
- The internet's fastest YouTube downloader made with FFmpeg.WASM.☆13Jul 22, 2023Updated 2 years ago
- Cross platform stackful task/coroutine library☆11Apr 14, 2022Updated 3 years ago
- Package wifiqr implements support for generating WiFi QR codes. MIT Licensed.☆13Oct 1, 2024Updated last year
- Show your Discord friends what your scrobbling on Last.FM with this simple command line program.☆10Jan 20, 2026Updated 3 weeks ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- Fast, concurrent, safe MPMC & MPSC FIFO queue implementation☆14Nov 16, 2021Updated 4 years ago
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- Slider controller but in a circle. Just a subclass of UIView, it lets you set properties and then it works.☆10May 27, 2016Updated 9 years ago
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- C Bindings to BAP☆16Jul 13, 2022Updated 3 years ago
- ⚠️ WIP - Visualizing data flow in Choo with Choo + KLay layout + SVG☆11Nov 1, 2016Updated 9 years ago