The Cryspen HACL Distribution
☆19Apr 20, 2025Updated 11 months ago
Alternatives and similar repositories for hacl-packages
Users that are interested in hacl-packages are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The formally verified crypto library for Rust☆218Updated this week
- Safely constrain and conclude your claude code sessions.☆28Mar 20, 2026Updated 3 weeks ago
- ☆11Jan 5, 2022Updated 4 years ago
- Windows V4 printer driver that converts XPS/GDI output into ZPL and TSPL thermal printer command languages for industrial label printing☆96Apr 3, 2026Updated 2 weeks ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- OCaml bytecode library tools☆33Apr 19, 2022Updated 3 years ago
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- ☆44Apr 8, 2025Updated last year
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- macOS bindings to the FSEvents API☆18Nov 24, 2025Updated 4 months ago
- Visualization tool for your IO-uring workload☆17Aug 19, 2024Updated last year
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13May 21, 2017Updated 8 years ago
- ☆10Jan 16, 2020Updated 6 years ago
- OCaml bindings for the Integer Set Library.☆13Jun 12, 2014Updated 11 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- C Bindings to BAP☆16Jul 13, 2022Updated 3 years ago
- Building Distributed Enclave Applications with Sancus and SGX☆16Dec 9, 2020Updated 5 years ago
- Higher kinded polymorphism in SML☆15Sep 2, 2020Updated 5 years ago
- Cyber-Physical Inconsistency Identification for Safety Checks in Robotic Vehicles☆10Oct 13, 2022Updated 3 years ago
- CoreFoundation bindings in OCaml☆15Jul 14, 2020Updated 5 years ago
- Verified NbE via gluing in Agda☆11May 19, 2024Updated last year
- OCaml ctypes bindings to llama.cpp☆15Jan 23, 2024Updated 2 years ago
- Resillent Control-Flow Attestation☆13Sep 30, 2021Updated 4 years ago
- Prototype code for some Julia-OCaml bindings☆16Jan 3, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆17Jun 10, 2022Updated 3 years ago
- -☆11Dec 18, 2022Updated 3 years ago
- Abandoned. This package provides WIP OCaml bindings for GLFW.☆14May 1, 2025Updated 11 months ago
- GNU Guile Scheme bindings for OCaml☆19Aug 5, 2022Updated 3 years ago
- Ctypes bindings to flock(2) for OCaml☆14Mar 7, 2024Updated 2 years ago
- ☆16Jul 3, 2023Updated 2 years ago
- Extism OCaml Host SDK - easily run WebAssembly modules / plugins from OCaml applications☆18Dec 4, 2024Updated last year
- ☆16Oct 28, 2024Updated last year
- [wip] bindings to Dear Imgui for OCaml.☆17Jun 26, 2020Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- some notes for how to build projects into a single LLVM bitcode file.☆18Jan 16, 2019Updated 7 years ago
- OCaml bindings to GObject-Introspection based on OCaml-Ctypes.☆17Mar 31, 2022Updated 4 years ago
- Fast char sets☆20May 5, 2025Updated 11 months ago
- GPS control and configuration for U-Blox GPS on Raspberry Pi 3B...☆14Nov 12, 2017Updated 8 years ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆18Dec 21, 2015Updated 10 years ago
- Secure, fast, and portable C90 implementation of ML-DSA / FIPS 204☆68Updated this week
- HardCaml implementation of the OCaml ZINC Abstract Machine☆46Jan 5, 2020Updated 6 years ago