Repositories list

• gcc2cryptoline

  Public
  A tool translating GIMPLE to Cryptoline

  C

  •

  MIT License

  •1•7•0•0•Updated Mar 15, 2025Mar 15, 2025

• cryptoline

  Public
  OCaml

  •

  MIT License

  •8•46•1•5•Updated Mar 14, 2025Mar 14, 2025

• AutoQ

  Public
  OpenQASM

  •

  MIT License

  •4•14•0•0•Updated Feb 20, 2025Feb 20, 2025

• coq-cryptoline

  Public
  C

  •1•2•0•1•Updated Mar 11, 2024Mar 11, 2024

• pss-gen

  Public
  Java

  •

  MIT License

  •4•0•0•0•Updated Aug 28, 2023Aug 28, 2023

• cryptoline-site

  Public
  HTML

  •0•0•0•0•Updated Jul 4, 2023Jul 4, 2023

• coq-qfbv

  Public
  Coq

  •

  GNU General Public License v2.0

  •3•6•0•0•Updated Apr 10, 2023Apr 10, 2023

• llvm2cryptoline

  Public
  A tool translating LLVM IR to CryptoLine

  C++

  •2•9•1•0•Updated Mar 29, 2023Mar 29, 2023

• coq-nbits

  Public
  A (non-dependent) bit-vector library for Coq

  Coq

  •0•3•0•0•Updated Nov 28, 2022Nov 28, 2022

• certified_qhasm_vcg

  Public
  Coq

  •0•3•0•0•Updated May 18, 2022May 18, 2022

• gbarith

  Public
  OCaml

  •

  Other

  •0•0•0•0•Updated May 18, 2022May 18, 2022

• dp-pomdp

  Public
  TeX

  •0•0•0•0•Updated Feb 8, 2019Feb 8, 2019

• dp-logic

  Public
  TeX

  •0•0•0•0•Updated Sep 3, 2018Sep 3, 2018

• VDM-SMT

  Public
  TeX

  •0•1•0•0•Updated Aug 15, 2018Aug 15, 2018

• certified-constructs

  Public
  HTML

  •5•3•0•0•Updated Aug 29, 2017Aug 29, 2017

• ma-learning

  Public
  MATLAB

  •0•0•0•0•Updated Mar 3, 2017Mar 3, 2017

• Pregel

  Public
  Scala

  •6•12•1•0•Updated Dec 27, 2016Dec 27, 2016

• LibRef

  Public
  Scala

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated May 13, 2016May 13, 2016

• PAC-MAN

  Public
  PACMAN for SV-COMP 2016

  Java

  •2•0•0•0•Updated Jan 9, 2016Jan 9, 2016

• CPArec

  Public
  Python

  •

  MIT License

  •0•0•1•0•Updated Nov 3, 2014Nov 3, 2014

• transformer

  Public
  TeX

  •0•0•0•0•Updated Jun 20, 2014Jun 20, 2014