Explore projects

advent of code

Primary library for necro with standard tools (parse, type check and print skeletal semantics)

Itauto: an Extensible Intuitionistic SAT Solver

OBSOLETE: replaced by https://github.com/grew-nlp/arboratorgrew_server/

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

An LR(1) parser generator for OCaml.

Non Deterministic Abstract Machine Generation in Skeletal Semantics

Generating statistics from projects hosted on Github. Was developed to get statistics on OCaml development.

Heptagon is a synchronous dataflow language whose syntax and semantics is inspired from Lustre, with a syntax allowing the expression of control structures (e.g., switch or mode automata).

repo manager wannabe?

Apps to compile from skel to gallina for use with the Coq Proof Assistant

This repository contains the Coq/Iris proofs that accompany the paper A Separation Logic for Effect Handlers.

🐸 https://ribbit.gitlabpages.inria.fr/ribbit/ 🐸