The Cryspen HACL Distribution
☆19Apr 20, 2025Updated 10 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:
- ☆36Feb 8, 2026Updated 3 weeks ago
- The formally verified crypto library for Rust☆209Updated this week
- ☆44Apr 8, 2025Updated 10 months ago
- A simple, secure IMAP server with encrypted data at rest☆22Dec 31, 2025Updated 2 months ago
- E2EIRC allows you to create end to end encrpyted chat rooms on Regular (Unmodified) IRC servers and your favorite IRC client.☆30Oct 31, 2017Updated 8 years ago
- MPRI-2.4 Dependently-typed Functional Programming☆32Dec 10, 2020Updated 5 years ago
- Fiat-Shamir for the masses.☆89Feb 14, 2026Updated 3 weeks ago
- An exploration of Storages☆39Oct 29, 2023Updated 2 years ago
- This is a Tamarin model of TLS 1.3☆42Aug 19, 2023Updated 2 years ago
- Please see https://github.com/hacspec/hax☆246Feb 12, 2024Updated 2 years ago
- adamant.finance contracts☆18Jul 10, 2021Updated 4 years ago
- Sage implementation of the MAYO scheme☆15Feb 3, 2025Updated last year
- Short Python script for parsing Defender VDM signature files.☆10Sep 22, 2024Updated last year
- Data analityics and dashboards about your perfomance inside neovim? yeah 📊☆12May 22, 2024Updated last year
- Program the action in your Desmos graph to create animations for videos, presentations, etc.☆12Dec 16, 2021Updated 4 years ago
- C Bindings to BAP☆16Jul 13, 2022Updated 3 years ago
- A wrapper library for the set of ptrace-related system calls in Linux☆13May 20, 2014Updated 11 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…☆51Feb 28, 2026Updated last week
- Single file C header for UTF-x-to-y conversions + helpers☆13Jun 11, 2023Updated 2 years ago
- ☆11Sep 11, 2018Updated 7 years ago
- ☆12Nov 18, 2025Updated 3 months ago
- Project template for GBA programming without the hassle of installing devkitpro☆13Nov 13, 2021Updated 4 years ago
- ☆11Jan 5, 2022Updated 4 years ago
- Enarx Keep Loader☆15Oct 25, 2021Updated 4 years ago
- A tool for running presentations without fluff. Effectively a spiritual fork of the `suckless` tool, `sent`. 🍃☆10Nov 5, 2025Updated 4 months ago
- XMSS[MT] commandline tool☆13Dec 18, 2023Updated 2 years ago
- A powerful and user-friendly Typst package for drawing physics diagrams.☆16Dec 24, 2025Updated 2 months ago
- ☆12Nov 19, 2024Updated last year
- OCaml bindings for the Integer Set Library.☆13Jun 12, 2014Updated 11 years ago
- Pure Rust implementation of the post-quantum secure digital signature scheme FAEST☆16Feb 19, 2026Updated 2 weeks ago
- Cross platform stackful task/coroutine library☆11Apr 14, 2022Updated 3 years ago
- Show your Discord friends what your scrobbling on Last.FM with this simple command line program.☆10Feb 10, 2026Updated 3 weeks ago
- Package wifiqr implements support for generating WiFi QR codes. MIT Licensed.☆13Oct 1, 2024Updated last year
- A mutation testing CLI tool built in Rust. Currently supports Noir as a target language☆12Dec 2, 2024Updated last year
- implementation of bk-tree for golang☆11Jan 25, 2021Updated 5 years ago
- ☆13Aug 15, 2024Updated last year
- In-Memory Java Compiler☆12Oct 13, 2020Updated 5 years ago
- A serverless Pastebin that allows users to share text content through a link☆11Aug 23, 2022Updated 3 years ago
- The Boiler framework, including sample projects☆13Feb 11, 2020Updated 6 years ago