Skip to content
View thierry-martinez's full-sized avatar
74 followers · 0 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Block or report thierry-martinez

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • graphix-symbolic Public

    Forked from TeamGraphix/graphix-symbolic

    symbolic parameter expressions for MBQC.

    Apache License 2.0 Updated Jan 6, 2025

  • graphix Public

    Forked from TeamGraphix/graphix

    measurement-based quantum computing (MBQC) compiler and simulator

    Python 2 Apache License 2.0 Updated Jan 6, 2025

  • advent-of-code Public

    Rust 1 BSD 2-Clause "Simplified" License Updated Dec 27, 2024

  • veriphix Public

    Forked from qat-inria/veriphix
    Python Updated Dec 20, 2024

  • aoc-2023 Public archive

    Rust Updated Dec 12, 2024

  • dm-simu-rs Public

    Forked from benjvmin93/dm-simu-rs

    MBQC patterns and circuit transpiler in Rust

    Rust Updated Nov 26, 2024

  • abelfunctions Public

    Forked from abelfunctions/abelfunctions

    A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.

    Python MIT License Updated Nov 21, 2024

  • graphix-or Public

    Python Updated Nov 19, 2024

  • clangml Public

    OCaml bindings for Clang

    ocaml clang ocaml-bindings
    OCaml 13 2 BSD 2-Clause "Simplified" License Updated Sep 11, 2024

  • graphix-ibmq Public

    Forked from TeamGraphix/graphix-ibmq

    submodule of graphix to run measurement pattern on IBM quantum devices

    Python Apache License 2.0 Updated Aug 20, 2024

  • fastflow Public

    Forked from TeamGraphix/fastflow

    rust binding of generalized and pauli flow finding algorithms

    Apache License 2.0 Updated Aug 3, 2024

  • pyml Public

    OCaml bindings for Python

    OCaml 187 32 BSD 2-Clause "Simplified" License Updated Jun 12, 2024

  • stdcompat Public

    Stdcompat: compatibility module for OCaml standard library

    ocaml
    OCaml 31 13 BSD 2-Clause "Simplified" License Updated May 29, 2024

  • opam-repository Public

    Forked from ocaml/opam-repository

    Main public package repository for OPAM, the source package manager of OCaml.

    Shell 1 1 Creative Commons Zero v1.0 Universal Updated May 29, 2024

  • conf-libclang Public

    OCaml 1 BSD 2-Clause "Simplified" License Updated May 29, 2024

  • pattern Public

    OCaml run-time patterns that explain match failures

    OCaml 1 2 BSD 2-Clause "Simplified" License Updated May 19, 2024

  • mbqc-rs Public

    MBQC simulation back-end written in Rust

    Rust 1 Apache License 2.0 Updated Apr 14, 2024

  • cours-preuves-ordinateur Public

    Forked from herbelin/cours-preuves-ordinateur

    Page du cours preuves assistées par ordinateur 2021

    TeX Creative Commons Zero v1.0 Universal Updated Mar 26, 2024

  • match_transformer Public

    Rewrite `match` into `if` to make code compatible with Python <3.10

    Python 1 BSD 3-Clause "New" or "Revised" License Updated Mar 19, 2024

  • mbqc-backend Public

    Forked from benjvmin93/mbqc-backend

    Statevector backend for MBQC patterns

    Python Updated Mar 18, 2024

  • cours-preuves-par-ordinateur-projet-2024 Public template

    Coq 1 2 Updated Feb 27, 2024

  • metapp Public

    Meta-preprocessor for OCaml

    OCaml 77 9 BSD 3-Clause "New" or "Revised" License Updated Jan 3, 2024

  • ppx_show Public

    OCaml PPX deriver for deriving show based on ppxlib

    OCaml 7 1 BSD 2-Clause "Simplified" License Updated Aug 21, 2023

  • mlgmpidl Public

    Forked from nberth/mlgmpidl

    OCaml interface to the GMP library

    C Other Updated Jul 26, 2023

  • coq Public

    Forked from coq/coq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

    OCaml GNU Lesser General Public License v2.1 Updated Jul 24, 2023

  • jobqueue Public

    Job stealing everywhere

    Rust Updated May 30, 2023

  • qtk-rosetta Public

    Forked from qtk-rosetta/qtk-rosetta

    Rosetta code for Quantum toolkits

    Python BSD 3-Clause "New" or "Revised" License Updated May 7, 2023

  • SETr Public

    Forked from arlencox/SETr

    Abstract domain library for sets

    OCaml 1 MIT License Updated Feb 23, 2023

  • apron Public

    Forked from antoinemine/apron

    Apron Numerical Abstract Domain Library

    C 1 Other Updated Jan 21, 2023

  • KappaTools Public

    Forked from Kappa-Dev/KappaTools

    Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at

    OCaml GNU Lesser General Public License v3.0 Updated Jan 4, 2023