David's repositories
mail-autoaudit
Automatically audit and test the email infrastructure for entire domains
.config
Some of my .config files
Language:CSS000
Language:Idris000
AdventOfCode22
My Advent of Code solutions 2022
Language:Python000
Director
Burp plugin that helps finding insecure redirects
Language:Scala000
dnsplay
Bulk DNS Resolver
Language:HaskellNOASSERTION000
dotfiles
dotfiles...
Language:Nix000
Flatshare-shopping-list
A telegram bot that implements a simple shared shopping list
groot
A simple userland LD_PRELOAD rootkit
Language:C000
lecture_security_benefri
Exercises for the lecture 'Security' at the Uni Neuchatel
Language:Python000
idris2_proofs
some math in idris2 (just for fun)
Language:Idris000
pattern_recognition_unifr_2022
Programming exercises for the lecture "Pattern Recognition", University Fribourg, Spring 2022
Language:Rust000
tornado_cash_heuristics
Use some heuristic to de-anonymize Tornado Cash users
Language:Rust000
vim-config
vim configuration files
Language:Vim Script000