Pinned Repositories
clangml
OCaml bindings for Clang
metapp
Meta-preprocessor for OCaml
metaquot
OCaml syntax extension for quoting code
ocaml-in-python
Effortless Python bindings for OCaml modules
override
OCaml PPX extension for overriding modules
pyast
Python versioned abstract syntax trees and interface to the Python parser
pyml
OCaml bindings for Python
refl
OCaml PPX deriver for reflection
stdcompat
Stdcompat: compatibility module for OCaml standard library
traverse
Traversable data structures with applicative functors
thierry-martinez's Repositories
thierry-martinez/pyml
OCaml bindings for Python
thierry-martinez/metapp
Meta-preprocessor for OCaml
thierry-martinez/stdcompat
Stdcompat: compatibility module for OCaml standard library
thierry-martinez/clangml
OCaml bindings for Clang
thierry-martinez/ppx_show
OCaml PPX deriver for deriving show based on ppxlib
thierry-martinez/github-actions
thierry-martinez/apron
Apron Numerical Abstract Domain Library
thierry-martinez/cours-preuves-par-ordinateur-projet-2024
thierry-martinez/github-actions-primer
thierry-martinez/graphix
measurement-based quantum computing (MBQC) compiler and simulator
thierry-martinez/match_transformer
Rewrite `match` into `if` to make code compatible with Python <3.10
thierry-martinez/mbqc-rs
MBQC simulation back-end written in Rust
thierry-martinez/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
thierry-martinez/SETr
Abstract domain library for sets
thierry-martinez/aoc-2023
thierry-martinez/conf-libclang
thierry-martinez/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 development of machine-checked proofs.
thierry-martinez/cours-preuves-ordinateur
Page du cours preuves assistées par ordinateur 2021
thierry-martinez/custom-action-example
thierry-martinez/dm-simu-rs
MBQC patterns and circuit transpiler in Rust
thierry-martinez/github-actions-python-example
Python example project used for a github actions tutorial
thierry-martinez/graphix-symbolic
symbolic parameter expressions for MBQC.
thierry-martinez/jobqueue
Job stealing everywhere
thierry-martinez/KappaTools
Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
thierry-martinez/mbqc-backend
Statevector backend for MBQC patterns
thierry-martinez/mlgmpidl
OCaml interface to the GMP library
thierry-martinez/pattern
OCaml run-time patterns that explain match failures
thierry-martinez/qtk-rosetta
Rosetta code for Quantum toolkits
thierry-martinez/runner-images
GitHub Actions runner images
thierry-martinez/veriphix