monsieurmuffin

Pinned Repositories

PipelineDP
Language:Python00
test
Language:Java00
VCEv4
This repository contains examples and documentation for VCEv4
Language:Java00
PipelineDP
PipelineDP is a Python framework for applying differentially private aggregations to large datasets using batch processing systems such as Apache Spark, Apache Beam, and more.
Language:Python274 21 6977
migrated-from-gForge
The repository containes a clone of Inria GForge repository for VerCors
00
VCEv4
This repository contains VCEv4 examples and tutorials.
Language:TeX42

monsieurmuffin's Repositories

monsieurmuffin/PipelineDP
Language:Python00
monsieurmuffin/test
Language:Java00
monsieurmuffin/VCEv4
This repository contains examples and documentation for VCEv4
Language:Java00