Repositories list

• easycrypt

  Public
  EasyCrypt: Computer-Aided Cryptographic Proofs

  OCaml

  •

  MIT License

  •6464 forks•415415 stars•151151 issues•4242 pull requests•Updated Sep 11, 2026Sep 11, 2026

• refman

  Public
  Reference Manual

  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 11, 2026Sep 11, 2026

• why3

  Public
  Fork of Why3 (gitlab.inria.fr/why3/why3) carrying EasyCrypt-specific patches

  OCaml

  •

  Other

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 17, 2026Aug 17, 2026

• easycrypt.github.io

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Jan 19, 2026Jan 19, 2026

• ec-tactics

  Public
  Temporary repository for documenting / unit testing the full set of EasyCrypt tactics

  eC

  •33 forks•11 star•00 issues•11 pull request•Updated Feb 24, 2025Feb 24, 2025

• opam-nix

  Public
  Turn opam-based OCaml projects into Nix derivations

  Nix

  •

  MIT License

  •5151 forks•00 stars•00 issues•00 pull requests•Updated Jan 15, 2025Jan 15, 2025

• easycrypt-doc

  Public
  EasyCrypt documentation

  TeX

  •55 forks•77 stars•00 issues•00 pull requests•Updated Sep 27, 2024Sep 27, 2024

• vsec

  Public
  OCaml

  •11 fork•00 stars•00 issues•00 pull requests•Updated Feb 15, 2024Feb 15, 2024

• solveq

  Public
  A library for solving symbolic computationnal problems

  OCaml

  •00 forks•00 stars•22 issues•00 pull requests•Updated Aug 8, 2019Aug 8, 2019

• certicrypt

  Public
  CertiCrypt Coq Framework

  Coq

  •

  Other

  •55 forks•3939 stars•00 issues•00 pull requests•Updated Apr 6, 2016Apr 6, 2016