Explore projects

An AVL calculator

Contains the code for the webinterface of botascopia

Javascript formalisation in Skeletal semantics

All results from the ics paper - to be kept

A generator of debugger for the Skel language for semantics description

A Coq port of FIRRTL

Dépôt git pour le site web de Liber Abaci

Fork of https://github.com/smtcoq/smtcoq.

This repository provides the code for reproducing the simulations in https://www.medrxiv.org/content/10.1101/2020.11.09.20228007v1

Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.

OCaml ppx deriver for generating quoting functions for OCaml datatypes: a quoting function converts an OCaml value into its AST.

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

Logging library use in Grew and Dep2pict projects