☆28Jul 27, 2020Updated 5 years ago
Alternatives and similar repositories for hafnium-verification
Users that are interested in hafnium-verification are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MesaLock Linux packages.☆13Dec 19, 2018Updated 7 years ago
- The Michelson Symbolic vErifier☆13Feb 3, 2023Updated 3 years ago
- Cost-Aware Robust Tree Ensembles for Security Applications (Usenix Security'21) https://arxiv.org/pdf/1912.01149.pdf☆18Mar 2, 2021Updated 5 years ago
- Meaningful control of data in distributed systems.☆1,462Updated this week
- A command line program to show a table of timezones☆14Apr 1, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A fast, general purpose crypto library in pure Rust.☆21Aug 26, 2018Updated 7 years ago
- Benchmarks for different streaming models: iterators, generators, sequences, transducers, etc.☆15Aug 15, 2022Updated 3 years ago
- ☆11Jun 14, 2024Updated last year
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆44Dec 11, 2022Updated 3 years ago
- An OCaml EDSL for describing and solving strategic games☆17Sep 10, 2023Updated 2 years ago
- Tool for checking trace equivalence for security protocols☆17Oct 27, 2020Updated 5 years ago
- A traceable distributed computation framework☆23Oct 8, 2019Updated 6 years ago
- Wrapper to Equinix API - Archived☆12Apr 14, 2025Updated last year
- Generates calendars in SVG, that you can convert to PDF and print.☆12May 4, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Asterinas Confidential Computing is a collection of open-source projects featuring full-stack capabilities in confidential computing.☆16Oct 15, 2024Updated last year
- ☆14Jan 8, 2023Updated 3 years ago
- ☆14Jan 13, 2023Updated 3 years ago
- A Coq plugin to disable positivity check, guard check and termination check☆16Nov 2, 2019Updated 6 years ago
- literate programming meets unison☆28Mar 30, 2026Updated 2 weeks ago
- CRAM testing framework☆22Sep 9, 2019Updated 6 years ago
- ☆16Apr 8, 2026Updated last week
- NanoID implementation for OCaml.☆21Mar 30, 2023Updated 3 years ago
- The framework for next generation data center.☆29Aug 24, 2025Updated 7 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆13Oct 10, 2023Updated 2 years ago
- Code for my blog post on combining S2E and Kaitai Struct☆15Jun 1, 2019Updated 6 years ago
- ☆28Sep 9, 2020Updated 5 years ago
- ☆23Apr 1, 2021Updated 5 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Jun 27, 2024Updated last year
- Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.☆17Jan 27, 2025Updated last year
- A symbolic analyser for shell scripts.☆22Sep 17, 2021Updated 4 years ago
- Tiny project with that demonstrates how to enable Return Flow Guard☆12Feb 7, 2017Updated 9 years ago
- CIRC: Concurrent Immediate Reference Counting☆55Nov 15, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A collection of useful functions to write an exploit in OCaml☆17Oct 11, 2014Updated 11 years ago
- Xen core platform libraries for MirageOS☆18Feb 5, 2025Updated last year
- Emacs client for statistical memory profiler☆17Mar 26, 2020Updated 6 years ago
- ☆32Dec 24, 2021Updated 4 years ago
- ☆14Nov 10, 2019Updated 6 years ago
- Project Trellis database☆14Sep 15, 2025Updated 7 months ago
- Formal verification of SecVisor, a secure hypervisor☆13Apr 23, 2013Updated 12 years ago