danieldietsch

Pinned Repositories

aria2
aria2 is a lightweight multi-protocol & multi-source, cross platform download utility operated in command-line. It supports HTTP/HTTPS, FTP, SFTP, BitTorrent and Metalink.
Language:C++39.2k 734 1.9k3.8k
containers
Bitnami container images
Language:Shell4.2k 46 2.2k6.5k
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
jayhorn
Static checker for Java
Language:Java89 11 11222
py-gitea
A Gitea-API wrapper in Python
Language:Python73 3 1626
Main
📦 The default bucket for Scoop.
Language:PowerShell1.8k 30 3.8k1.1k
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python273 14 402221
sv-benchmarks
Collection of Verification Tasks (MOVED, please follow the link)
185 31 281170
ultimate
The Ultimate program analysis framework.
Language:Java233 26 60947

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