Flexible and Constant Time Programming Language
☆204Feb 18, 2022Updated 4 years ago
Alternatives and similar repositories for FaCT
Users that are interested in FaCT are comparing it to the libraries listed below
Sorting:
- ☆38Mar 20, 2017Updated 9 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Apr 8, 2015Updated 10 years ago
- ☆13Apr 27, 2020Updated 5 years ago
- Small tensor library a la GLSL☆17Oct 28, 2022Updated 3 years ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 6 years ago
- OCaml parsers for multiple key formats☆15Aug 1, 2024Updated last year
- Constant-time choose between two variables in Clang/LLVM☆20Apr 14, 2018Updated 7 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆10Feb 13, 2025Updated last year
- Algorithms to layout trees in a pretty manner.☆36Mar 7, 2022Updated 4 years ago
- Constant-Time Toolkit☆300Aug 29, 2018Updated 7 years ago
- Implementation of SoftSpokenOT. Forked from libOTe.☆10May 6, 2024Updated last year
- Minimalistic logic programming framework☆22Feb 9, 2020Updated 6 years ago
- Distribute/marshal instances of ocaml extensible variant types and exceptions☆16Nov 26, 2016Updated 9 years ago
- ☆16Jan 16, 2025Updated last year
- Simple password db☆23Nov 23, 2018Updated 7 years ago
- automatic ci configuration for the people☆35Nov 20, 2019Updated 6 years ago
- Language for high-assurance and high-speed cryptography☆333Updated this week
- Checking that functions are constant time with Valgrind☆198Feb 26, 2017Updated 9 years ago
- A simple 2d exploration game written in OCaml☆16Oct 2, 2018Updated 7 years ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Jun 14, 2024Updated last year
- A jabber logger and web interface☆12Jan 5, 2026Updated 2 months ago
- OCaml library for building clients and servers that communicate using the Redis Serialization Protocol☆12Nov 6, 2021Updated 4 years ago
- Serialization formats toolkit for OCaml (unreleased)☆13Jan 2, 2026Updated 2 months ago
- Differential Address Trace Analysis☆63Mar 27, 2024Updated last year
- A basic UNIX shell implementation in C☆34Oct 2, 2019Updated 6 years ago
- Toolset to analyse TLS datasets☆12Aug 7, 2019Updated 6 years ago
- Stripped-down version of mccs with OCaml bindings☆23Jan 9, 2025Updated last year
- bindings for QT5 widgets☆10Mar 25, 2016Updated 9 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- Prototype code for some Julia-OCaml bindings☆16Jan 3, 2021Updated 5 years ago
- TLS client program☆11Jun 10, 2020Updated 5 years ago
- Please see https://github.com/hacspec/hax☆246Feb 12, 2024Updated 2 years ago
- A clean implementation of Parsing with Zippers.☆38Sep 22, 2018Updated 7 years ago
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated 4 months ago
- Simple, secure and composable I/O abstraction for construction of efficient computation workflows.☆10Jun 11, 2016Updated 9 years ago
- An implementation of some 0MQ RFCs in OCaml for MirageOS☆11May 20, 2019Updated 6 years ago
- experiments with Brr/Note☆13Aug 27, 2021Updated 4 years ago
- HMAC-based Extract-and-Expand Key Derivation Function (HKDF) (RFC 5869)☆12Sep 4, 2024Updated last year
- Verified Assembly Language for Everest☆305Feb 22, 2024Updated 2 years ago