danieldietsch

Pinned Repositories

paperless-mobile
An (almost) fully fledged mobile paperless client.
Language:Dart685 14 31536
frigate
NVR with realtime local object detection for IP cameras
Language:TypeScript18.4k 181 5.2k1.7k
ae-badges
Badges for artifact evaluations in computer science conference. Put these on your papers.
1 1 00
ultimate-automizer-vscode
This extension runs a formal verification on the current active C file. It relies on Ultimate Automizer as external tool.
Language:TypeScript0 0 00
core
:house_with_garden: Open source home automation that puts local control and privacy first.
Language:Python71.9k 1.3k 52.4k30.1k
jellyfin
The Free Software Media System
Language:C#33.7k 319 6.3k3.1k
gluetun
VPN client in a thin Docker container for multiple VPN providers, written in Go, and using OpenVPN or Wireguard, DNS over TLS, with a few proxy servers built-in.
Language:Go7.5k 34 1.3k356
renovate
Home of the Renovate CLI: Cross-platform Dependency Automation by Mend.io
Language:TypeScript17.3k 94 6k2.3k
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python227 15 379192
ultimate
The Ultimate program analysis framework.
Language:Java194 31 58440

danieldietsch's Repositories

danieldietsch/ae-badges
Badges for artifact evaluations in computer science conference. Put these on your papers.
1 1 00
danieldietsch/ultimate-automizer-vscode
This extension runs a formal verification on the current active C file. It relies on Ultimate Automizer as external tool.
Language:TypeScript0 0 00