Skip to content
@EasyCrypt

EasyCrypt

Pinned Loading

  1. easycrypt easycrypt Public

    EasyCrypt: Computer-Aided Cryptographic Proofs

    OCaml 382 61

Repositories

Showing 9 of 9 repositories
  • easycrypt Public

    EasyCrypt: Computer-Aided Cryptographic Proofs

    EasyCrypt/easycrypt’s past year of commit activity
    OCaml 382 MIT 61 126 26 Updated Feb 12, 2026
  • refman Public

    Reference Manual

    EasyCrypt/refman’s past year of commit activity
    HTML 0 0 0 0 Updated Feb 6, 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 51 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 37 5 0 0 Updated Apr 6, 2016

Most used topics

Loading…