- KeYmaera X (theorem prover): https://github.com/LS-Lab/KeYmaeraX-release

- IBM VSRL (Safe Reinforcement Learning): https://github.com/IBM/vsrl-framework/

- CodeWhisperer (generative AI coding assistant): https://aws.amazon.com/codewhisperer/

Personal site: https://nfulton.org