Popular repositories Loading

1. ethz-hci19-gp6.github.io ethz-hci19-gp6.github.io Public

   Forked from ethz-hci19-gp6/ethz-hci19-gp6.github.io

   JavaScript

2. nextcloud-notes nextcloud-notes Public

   Forked from nextcloud/notes-android

   ✎ Android client for Nextcloud Notes app.

   Java

3. drawio-integration drawio-integration Public

   Forked from jgraph/drawio-integration

   draw.io Integration

   HTML

4. silicon silicon Public

   Forked from viperproject/silicon

   Symbolic-execution-based verifier for the Viper intermediate verification language.

   Scala

5. silver silver Public

   Forked from viperproject/silver

   Definition of the Viper intermediate verification language.

   Scala

6. passbolt_docker passbolt_docker Public

   Forked from passbolt/passbolt_docker

   Get started with Passbolt CE using docker!

   Ruby