project-oak / hafnium-verificationView external linksLinks
☆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
Sorting:
- Tool for checking trace equivalence for security protocols☆17Oct 27, 2020Updated 5 years ago
- Benchmarks for different streaming models: iterators, generators, sequences, transducers, etc.☆15Aug 15, 2022Updated 3 years ago
- Generates calendars in SVG, that you can convert to PDF and print.☆12May 4, 2022Updated 3 years ago
- A command line program to show a table of timezones☆14Apr 1, 2025Updated 10 months ago
- Wrapper to Equinix API - Archived☆12Apr 14, 2025Updated 10 months ago
- An OCaml EDSL for describing and solving strategic games☆17Sep 10, 2023Updated 2 years ago
- The Michelson Symbolic vErifier☆13Feb 3, 2023Updated 3 years ago
- ☆15Dec 16, 2025Updated last month
- Xen core platform libraries for MirageOS☆18Feb 5, 2025Updated last year
- MesaLock Linux packages.☆14Dec 19, 2018Updated 7 years ago
- A Coq plugin to disable positivity check, guard check and termination check☆16Nov 2, 2019Updated 6 years ago
- A symbolic analyser for shell scripts.☆22Sep 17, 2021Updated 4 years ago
- Cost-Aware Robust Tree Ensembles for Security Applications (Usenix Security'21) https://arxiv.org/pdf/1912.01149.pdf☆18Mar 2, 2021Updated 4 years ago
- Memtrace library for MirageOS☆17Feb 17, 2025Updated 11 months ago
- Virtual network interface and software bridge for Mirage☆16Mar 6, 2025Updated 11 months ago
- NanoID implementation for OCaml.☆20Mar 30, 2023Updated 2 years ago
- Emacs client for statistical memory profiler☆17Mar 26, 2020Updated 5 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Jun 27, 2024Updated last year
- A traceable distributed computation framework☆23Oct 8, 2019Updated 6 years ago
- A collection of useful functions to write an exploit in OCaml☆17Oct 11, 2014Updated 11 years ago
- CRAM testing framework☆22Sep 9, 2019Updated 6 years ago
- literate programming meets unison☆28Jan 13, 2026Updated last month
- Bedrock Bit Vector Library☆28Oct 28, 2025Updated 3 months ago
- fuzzy string searching, using Levenshtein automaton. Can be used for spell-checking.☆26Apr 2, 2025Updated 10 months ago
- multipart/form-data (RFC2388) parser for OCaml☆19Oct 2, 2020Updated 5 years ago
- OCaml bindings for LZ4, a very fast lossless compression algorithm☆25Sep 6, 2023Updated 2 years ago
- HoCL (Higher Order dataflow Coordination Language) is a language for describing dataflow networks and generating tool-specific descriptio…☆22Aug 13, 2021Updated 4 years ago
- Testing and benchmarking tool for logic-related programs.☆28Updated this week
- IO should be just a library☆23Jul 17, 2023Updated 2 years ago
- line based patch, input is a unified diff☆24Nov 6, 2025Updated 3 months ago
- Formally verified Coq serialization library with support for extraction to OCaml☆24Oct 22, 2023Updated 2 years ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆26Feb 5, 2026Updated last week
- Passphrase entry utility that aims to defeat hardware keyloggers and low-resolution spy cameras☆25Oct 21, 2017Updated 8 years ago
- A B-Tree implementation in OCaml☆24Oct 24, 2016Updated 9 years ago
- A simple parser combinator library for Ocaml☆30Aug 21, 2021Updated 4 years ago
- A tool that creates stand-alone source bundles from opam packages☆27May 24, 2023Updated 2 years ago
- Medium weight threads - preemptive thread pools for Lwt☆30May 15, 2021Updated 4 years ago
- QR code encoder for OCaml☆36Jan 2, 2026Updated last month
- ☆28Sep 9, 2020Updated 5 years ago