Discover @thierry-martinez Open Source projects

@thierry-martinez

thierry-martinez

Stars
498
Global Rank 58,023 (Top 2 %)
Followers 73
Registered almost 13 years ago
Most used languages

OCaml
65.2 %

C
8.7 %

Rust
8.7 %

CMake 4.3 %

Python
4.3 %

Coq 4.3 %

JavaScript
4.3 %

pyml

OCaml bindings for Python

metapp

Meta-preprocessor for OCaml

refl

OCaml PPX deriver for reflection

ocaml-in-python

Effortless Python bindings for OCaml modules

stdcompat

Stdcompat: compatibility module for OCaml standard library

metaquot

OCaml syntax extension for quoting code

traverse

Traversable data structures with applicative functors

clangml

OCaml bindings for Clang

pyast

Python versioned abstract syntax trees and interface to the Python parser

override

OCaml PPX extension for overriding modules

ppx_show

OCaml PPX deriver for deriving show based on ppxlib

redirect

Redirect channels in OCaml

hooglebackend

github-actions

zmq-proxy

A simple command-line wrapper around zmq::proxy.

github-actions-primer

githab-actions-primer-save

2014-11-mds

listit

Edit, sort and share your lists of everything.

mbqc-rs

MBQC simulation back-end written in Rust

conf-libclang

pattern

OCaml run-time patterns that explain match failures

cours-preuves-par-ordinateur-projet-2024

match_transformer

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