https://github.com/roptat/hayha

Verifying CloudFormation deployments for intra-update sniping vulnerabilities

security

Last synced: 16 Mar 2025

https://github.com/roptat/sample

sample project for testing offlate

Last synced: 02 Apr 2025

https://github.com/roptat/vsfi

ocaml prototype for verifying SFI

Last synced: 02 Apr 2025

https://github.com/roptat/frenchies-town-names

OpenTTD NewGRF for generating French-sounding city names

newgrf openttd openttd-mod

Last synced: 02 Apr 2025