Popular repositories Loading

1. pi-lambda pi-lambda Public

   A language based on merging the lambda-calculus and the pi-calculus

   OCaml 3

2. ST30_Benchmark ST30_Benchmark Public

   A set of benchmark to compare (multiparty) session types

   TeX 3 1

3. nuscr nuscr Public

   Forked from nuscr/nuscr

   A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.

   OCaml 2

4. R-flexions R-flexions Public

   Réflexions sur différents points de la vie quotidienne

   TeX 1

5. tarot tarot Public

   Tarot Score counter

   C 1

6. Semester-project Semester-project Public

   Repo for my semester project @ DSLab

   C 1 1