Skip to content
@fmlab-iis

fmlab-iis

Popular repositories Loading

  1. cryptoline cryptoline Public

    OCaml 46 8

  2. AutoQ AutoQ Public

    OpenQASM 14 5

  3. Pregel Pregel Public

    Scala 12 6

  4. llvm2cryptoline llvm2cryptoline Public

    A tool translating LLVM IR to CryptoLine

    C++ 9 2

  5. gcc2cryptoline gcc2cryptoline Public

    A tool translating GIMPLE to Cryptoline

    C 7 1

  6. coq-qfbv coq-qfbv Public

    Coq 6 3

Repositories

Showing 10 of 21 repositories
  • cryptoline Public
    OCaml 46 MIT 8 1 5 Updated Apr 10, 2025
  • gcc2cryptoline Public

    A tool translating GIMPLE to Cryptoline

    C 7 MIT 1 0 0 Updated Mar 19, 2025
  • AutoQ Public
    OpenQASM 14 MIT 5 0 0 Updated Feb 20, 2025
  • coq-cryptoline Public
    C 2 1 0 1 Updated Mar 11, 2024
  • pss-gen Public Forked from andestech/pss-gen
    Java 0 MIT 5 0 0 Updated Aug 28, 2023
  • cryptoline-site Public
    HTML 0 0 0 0 Updated Jul 4, 2023
  • coq-qfbv Public
    Coq 6 GPL-2.0 3 0 0 Updated Apr 10, 2023
  • llvm2cryptoline Public

    A tool translating LLVM IR to CryptoLine

    C++ 9 2 1 0 Updated Mar 29, 2023
  • coq-nbits Public

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

    Coq 3 0 0 0 Updated Nov 28, 2022
  • certified_qhasm_vcg Public
    Coq 3 0 0 0 Updated May 18, 2022
View all repositories