tschoesi

Pinned Repositories

authentik
The authentication glue you need.
Language:Python13k 61 2.4k866
immich
High performance self-hosted photo and video management solution.
Language:TypeScript46.7k 159 3.8k2.3k
drawio-integration
draw.io Integration
Language:HTML0 0 00
ethz-hci19-gp6.github.io
Language:JavaScript0 0 00
nextcloud-notes
✎ Android client for Nextcloud Notes app.
Language:Java00
passbolt_docker
Get started with Passbolt CE using docker!
Language:Ruby0 0 00
silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
Language:Scala0 0 00
silver
Definition of the Viper intermediate verification language.
Language:Scala0 0 00
silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
Language:Scala78 6 64331
silver
Definition of the Viper intermediate verification language.
Language:Scala78 9 56540

tschoesi's Repositories

tschoesi/drawio-integration
draw.io Integration
Language:HTML0 0 00
tschoesi/ethz-hci19-gp6.github.io
Language:JavaScript0 0 00
tschoesi/nextcloud-notes
✎ Android client for Nextcloud Notes app.
Language:Java00
tschoesi/passbolt_docker
Get started with Passbolt CE using docker!
Language:Ruby0 0 00
tschoesi/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
Language:Scala0 0 00
tschoesi/silver
Definition of the Viper intermediate verification language.
Language:Scala0 0 00