Explore projects

A library to build experimental frameworks on multiple platforms

This R package implements a mechanistic model for the prediction of metastatic relapse proposed by S Benzekry.

Rework of the website around the scientific community on "Term Rewriting" http://rewriting.loria.fr/.

custom homebrew tap

implementation and metatheory of time credits and time receipts in Iris / Coq

This repository contains the Coq/Iris proofs that accompany the paper Spy game---Verifying a local generic solver in Iris

Collection of CMake modules that can be shared among projects