Explore projects

diodon project with numpy

An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.

Primary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.

Heuristics for Heterogeneous Memory (H2M) - Runtime Library & Examples

Gabarit de style pour les présentations beamer adapté pour la charte graphique Inria 2024.

A library for constraint-based Hindley-Milner type inference.

bibtex-sw-entry

A library for constraint-based Hindley-Milner type inference.

This repository is a one-time import from https://git.tobast.fr/tobast/phd-defense; for archival purposes.