Search Docker Hub
Community User
United Kingdom
https://benmandrew.com
Displaying 1 to 13 of 13 repositories
4d
4.9K
5d
898
13d
7.0K
2.0K
22d
795
Brainf*ck to LLVM IR compiler frontend
2m
4.6K
3m
5.1K
Counterexample-Guided Interval Weakening (CEGIW)
1.7K
AES (Advanced Encryption Standard) symmetric block cipher
1.9K
Visualiser for Solitaire game graphs
Tic-Tac-Toe in 64-bit x86 NASM assembly
1.5K
"Weakening Goals in Logical Specifications" — ABZ 2025 Doctoral Symposium Paper
5m
649
Terminal implementation of the Monopoly Deal card game
1y
727