Andres Noetzli's repositories
hammerpass
Hammerspoon script for the pass password manager
ub-canaries
collection of C/C++ programs that try to get compilers to exploit undefined behavior
aws-deployment-pipeline-reference-architecture
Reference architecture for deployment pipelines
Language:PythonMIT-0000
axelar-docs
Resources & Documentation for Axelar Network
Language:TeX000
haskell-boolector
Haskell bindings for the Boolector SMT solver
homebrew-core
🍻 Default formulae for the missing package manager for macOS
homebrew-cvc4
Homebrew formula for CVC4
trace-executor
A simple SMT-LIB v2 trace executor.
yellowpaper
The "Yellow Paper": Ethereum's formal specification