Popular repositories Loading

1. Exercises-on-CCS-CCSK-and-RCCS Exercises-on-CCS-CCSK-and-RCCS Public

   Forked from CinRC/Exercises-on-CCS-CCSK-and-RCCS

   A collection of exercises about CCS and its reversible declensions

   TeX 2

2. concurrent-benchmark-solution concurrent-benchmark-solution Public

   A solution to the 2nd challenge of the Concurrent Calculi Formalisation Benchmark in the proof assistant Beluga, by Alberto Momigliano and Gabriele Cecilia

   1

3. gabrielececilia.github.io gabrielececilia.github.io Public

   HTML

4. plgroup plgroup Public

   Forked from the-au-forml-lab/plgroup

   Programming Languages Reading Group information and tools.

   TypeScript