thierry-martinez

Pinned Repositories

clangml
OCaml bindings for Clang
Language:OCaml13 3 102
metapp
Meta-preprocessor for OCaml
Language:OCaml77 8 69
metaquot
OCaml syntax extension for quoting code
Language:OCaml25 4 12
ocaml-in-python
Effortless Python bindings for OCaml modules
Language:OCaml50 2 72
override
OCaml PPX extension for overriding modules
Language:OCaml91
pyast
Python versioned abstract syntax trees and interface to the Python parser
Language:OCaml12 3 82
pyml
OCaml bindings for Python
Language:OCaml187 12 7032
refl
OCaml PPX deriver for reflection
Language:OCaml51 6 15
stdcompat
Stdcompat: compatibility module for OCaml standard library
Language:OCaml31 4 1813
traverse
Traversable data structures with applicative functors
Language:OCaml12 4 01

thierry-martinez's Repositories

thierry-martinez/pyml
OCaml bindings for Python
Language:OCaml187 12 7032
thierry-martinez/metapp
Meta-preprocessor for OCaml
Language:OCaml77 8 69
thierry-martinez/stdcompat
Stdcompat: compatibility module for OCaml standard library
Language:OCaml31 4 1813
thierry-martinez/clangml
OCaml bindings for Clang
Language:OCaml13 3 102
thierry-martinez/ppx_show
OCaml PPX deriver for deriving show based on ppxlib
Language:OCaml7 4 51
thierry-martinez/github-actions
2 2 01
thierry-martinez/apron
Apron Numerical Abstract Domain Library
Language:C1 2 0
thierry-martinez/conf-libclang
Language:OCaml1 4 0
thierry-martinez/cours-preuves-par-ordinateur-projet-2024
Language:Coq1 2 02
thierry-martinez/graphix
measurement-based quantum computing (MBQC) compiler and simulator
Language:Python1 1 0
thierry-martinez/match_transformer
Rewrite `match` into `if` to make code compatible with Python <3.10
Language:Python1
thierry-martinez/mbqc-rs
MBQC simulation back-end written in Rust
Language:Rust1 2 0
thierry-martinez/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Language:Shell1 3 01
thierry-martinez/pattern
OCaml run-time patterns that explain match failures
Language:OCaml1 4 12
thierry-martinez/SETr
Abstract domain library for sets
Language:OCaml1 2 0
thierry-martinez/abelfunctions
A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
thierry-martinez/aoc-2023
Language:Rust
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.
Language:OCaml3 0
thierry-martinez/cours-preuves-ordinateur
Page du cours preuves assistées par ordinateur 2021
Language:TeX
thierry-martinez/dm-simu-rs
MBQC patterns and circuit transpiler in Rust
Language:Rust0 0
thierry-martinez/fastflow
rust binding of generalized and pauli flow finding algorithms
thierry-martinez/graphix-ibmq
submodule of graphix to run measurement pattern on IBM quantum devices
thierry-martinez/graphix-or
Language:Python
thierry-martinez/graphix-symbolic
symbolic parameter expressions for MBQC.
thierry-martinez/jobqueue
Job stealing everywhere
Language:Rust
thierry-martinez/KappaTools
Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
Language:OCaml1 0
thierry-martinez/mbqc-backend
Statevector backend for MBQC patterns
Language:Python1 0
thierry-martinez/mlgmpidl
OCaml interface to the GMP library
thierry-martinez/qtk-rosetta
Rosetta code for Quantum toolkits
thierry-martinez/veriphix
Language:Python0 0