Pinned Loading

1. syncthing-elastic syncthing-elastic Public

   Prototype of Syncthing monitoring using Elastic stack

   Rust

2. proto-verif proto-verif Public

   ProVerif pet implementation in Scala

   Scala

3. voting-helios-scala voting-helios-scala Public

   Simplified implementation of the Helios 2.0 voting scheme

   Scala 5

4. deploy-pipeline deploy-pipeline Public

   Dockerized CI/CD pipeline

   Dockerfile

5. dep-tree-gen dep-tree-gen Public

   Scala

6. book-loan-tracker book-loan-tracker Public

   Web app to keep track of which book was lent to which friend

   Vue