Repositories list

• easycrypt

  Public
  EasyCrypt: Computer-Aided Cryptographic Proofs

  OCaml

  •

  MIT License

  •47•310•112•14•Updated Sep 30, 2024Sep 30, 2024

• easycrypt-doc

  Public
  EasyCrypt documentation

  TeX

  •5•7•0•0•Updated Sep 27, 2024Sep 27, 2024

• ec-tactics

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

  JavaScript

  •1•0•0•0•Updated Aug 2, 2024Aug 2, 2024

• easycrypt.github.io

  Public
  0•0•0•0•Updated Jun 14, 2024Jun 14, 2024

• vsec

  Public
  OCaml

  •0•0•0•0•Updated Feb 15, 2024Feb 15, 2024

• solveq

  Public
  A library for solving symbolic computationnal problems

  OCaml

  •0•0•2•0•Updated Aug 8, 2019Aug 8, 2019

• certicrypt

  Public
  CertiCrypt Coq Framework

  Coq

  •

  Other

  •5•31•0•0•Updated Apr 6, 2016Apr 6, 2016