PLSysSec/FaCT external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

PLSysSec/FaCT

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/PLSysSec/FaCT)

Close

PLSysSec / FaCTView on GitHubMore

• External links
• Readme badge

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

• imdea-software / verifying-constant-time

  View on GitHub
  ☆38Mar 20, 2017Updated 8 years ago
• granstrom / intuitionistic

  View on GitHub
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Apr 8, 2015Updated 10 years ago
• Octachron / phantom_algebra

  View on GitHub
  Small tensor library a la GLSL
  ☆17Oct 28, 2022Updated 3 years ago
• cryptosense / key-parsers

  View on GitHub
  OCaml parsers for multiple key formats
  ☆15Aug 1, 2024Updated last year
• bifurcation / tamarin-ake

  View on GitHub
  Models for authenticated key exchange in Tamarin
  ☆12Oct 9, 2019Updated 6 years ago
• backtracking / hashset

  View on GitHub
  OCaml implementation of sets as hash tables by Jean-Christophe Filliatre
  ☆10Feb 13, 2025Updated last year
• Drup / tree_layout

  View on GitHub
  Algorithms to layout trees in a pretty manner.
  ☆36Mar 7, 2022Updated 3 years ago
• lmrs2 / ct_choose

  View on GitHub
  Constant-time choose between two variables in Clang/LLVM
  ☆20Apr 14, 2018Updated 7 years ago
• StrykerKKD / Logical

  View on GitHub
  Minimalistic logic programming framework
  ☆22Feb 9, 2020Updated 6 years ago
• reynir / ocaml-ssh-agent

  View on GitHub
  ☆16Jan 16, 2025Updated last year
• pornin / CTTK

  View on GitHub
  Constant-Time Toolkit
  ☆300Aug 29, 2018Updated 7 years ago
• let-def / distwit

  View on GitHub
  Distribute/marshal instances of ocaml extensible variant types and exceptions
  ☆16Nov 26, 2016Updated 9 years ago
• backtracking / creal

  View on GitHub
  An exact real arithmetic (aka constructive reals) for OCaml
  ☆13Jun 14, 2024Updated last year
• bramford / 2d-exploration-game

  View on GitHub
  A simple 2d exploration game written in OCaml
  ☆16Oct 2, 2018Updated 7 years ago
• yomimono / autoci

  View on GitHub
  automatic ci configuration for the people
  ☆35Nov 20, 2019Updated 6 years ago
• yurug / menhir-error-recovery

  View on GitHub
  ☆18May 21, 2019Updated 6 years ago
• LaurentMazare / ocaml.jl

  View on GitHub
  Prototype code for some Julia-OCaml bindings
  ☆16Jan 3, 2021Updated 5 years ago
• jasmin-lang / jasmin

  View on GitHub
  Language for high-assurance and high-speed cryptography
  ☆331Updated this week
• Ucombinator / parsing-with-zippers

  View on GitHub
  A clean implementation of Parsing with Zippers.
  ☆38Sep 22, 2018Updated 7 years ago
• c-cube / smbc

  View on GitHub
  Experimental model finder/SMT solver for functional programming.
  ☆23Jun 23, 2022Updated 3 years ago
• ocaml-opam / ocaml-mccs

  View on GitHub
  Stripped-down version of mccs with OCaml bindings
  ☆23Jan 9, 2025Updated last year
• jonsterling / tt

  View on GitHub
  secret project
  ☆17Mar 14, 2018Updated 7 years ago
• rowandavies / sml-cidre

  View on GitHub
  SML Checker for Intersection and Datasort Refinements (pronounced "cider")
  ☆20Jul 4, 2013Updated 12 years ago
• awslabs / s2n-bignum

  View on GitHub
  ☆201Updated this week
• catseye / Vinegar

  View on GitHub
  MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail
  ☆15Nov 3, 2023Updated 2 years ago
• sto0pkid / swipl-tt

  View on GitHub
  Implementation of dependent type theory in SWI-Prolog
  ☆10Oct 6, 2020Updated 5 years ago
• Chris00 / ocaml-bwrap

  View on GitHub
  Use Bubblewrap to sandbox executables
  ☆12Feb 22, 2021Updated 5 years ago
• zshipko / resp

  View on GitHub
  OCaml library for building clients and servers that communicate using the Redis Serialization Protocol
  ☆12Nov 6, 2021Updated 4 years ago
• rizo / io

  View on GitHub
  Simple, secure and composable I/O abstraction for construction of efficient computation workflows.
  ☆10Jun 11, 2016Updated 9 years ago
• CGenie / ray-tracer

  View on GitHub
  The Ray Tracer Challenge book solutions in Ocaml
  ☆13Mar 23, 2021Updated 4 years ago
• alan-j-hu / ocaml-textmate-language

  View on GitHub
  Library for tokenizing code with TextMate grammars
  ☆12Jan 4, 2024Updated 2 years ago
• michaelpj / abstract-machine-debuggers

  View on GitHub
  ☆12Feb 11, 2019Updated 7 years ago
• lamps-wg / dilithium-certificates

  View on GitHub
  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
• smimram / snippetor

  View on GitHub
  Extract snippets from code specified by comments.
  ☆11Oct 22, 2024Updated last year
• paurkedal / batyr

  View on GitHub
  A jabber logger and web interface
  ☆12Jan 5, 2026Updated last month
• voodoos / mlts

  View on GitHub
  ☆12Dec 9, 2022Updated 3 years ago
• mrvn / ocaml-qt5

  View on GitHub
  bindings for QT5 widgets
  ☆10Mar 25, 2016Updated 9 years ago
• dbuenzli / serialkit

  View on GitHub
  Serialization formats toolkit for OCaml (unreleased)
  ☆13Jan 2, 2026Updated last month
• craigfe / generalised-signatures

  View on GitHub
  ☆12Mar 15, 2021Updated 4 years ago