Popular repositories Loading

1. compiler-course-unipi compiler-course-unipi Public

   Lab of the course Languages, Compilers and Interpreters (Cod. 653AA) @ UNIPI

   OCaml 36 7

2. dpwim-course dpwim-course Public

   Lab of the course Distributed Programming for Web, IoT, and Mobile Systems B032427 (B255) @ UNIFI

   4

3. lmcs-analysis-validation lmcs-analysis-validation Public

   The repository contains the scripts and data for the experimental evaluation described in the paper "A theory of transaction parallelism in blockchains"

   JavaScript 1

4. verioss verioss Public

   1

5. wbpls wbpls Public

   Implementation of the WBPLSec protocol for physical layer security

   C 1

6. fws fws Public

   Forked from secgroup/fws

   Language-independent Synthesis of Firewall Policies

   Haskell