Skip to content
@EasyCrypt

EasyCrypt

Pinned Loading

  1. easycrypt easycrypt Public

    EasyCrypt: Computer-Aided Cryptographic Proofs

    OCaml 417 64

Repositories

Showing 10 of 10 repositories
  • easycrypt Public

    EasyCrypt: Computer-Aided Cryptographic Proofs

    EasyCrypt/easycrypt's past year of commit activity
    OCaml 417 MIT 64 150 44 Updated Sep 22, 2026
  • refman Public

    Reference Manual

    EasyCrypt/refman's past year of commit activity
    HTML 0 0 0 0 Updated Sep 22, 2026
  • why3 Public

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

    EasyCrypt/why3's past year of commit activity
    OCaml 0 0 0 0 Updated Aug 17, 2026
  • easycrypt.github.io Public
    EasyCrypt/easycrypt.github.io's past year of commit activity
    0 0 0 0 Updated Jan 19, 2026
  • ec-tactics Public

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

    EasyCrypt/ec-tactics's past year of commit activity
    eC 1 3 0 1 Updated Feb 24, 2025
  • opam-nix Public Forked from tweag/opam-nix

    Turn opam-based OCaml projects into Nix derivations

    EasyCrypt/opam-nix's past year of commit activity
    Nix 0 MIT 58 0 0 Updated Jan 15, 2025
  • easycrypt-doc Public

    EasyCrypt documentation

    EasyCrypt/easycrypt-doc's past year of commit activity
    TeX 7 5 0 0 Updated Sep 27, 2024
  • vsec Public
    EasyCrypt/vsec's past year of commit activity
    OCaml 0 1 0 0 Updated Feb 15, 2024
  • solveq Public

    A library for solving symbolic computationnal problems

    EasyCrypt/solveq's past year of commit activity
    OCaml 0 0 2 0 Updated Aug 8, 2019
  • certicrypt Public

    CertiCrypt Coq Framework

    EasyCrypt/certicrypt's past year of commit activity
    Coq 39 5 0 0 Updated Apr 6, 2016

Most used topics

Loading…