Cory Francis Myers's Projects
🚀 Automatic SDK generation from an OpenAPI definition
Library of Babel as literary halting problem
Packer templates for building minimal Vagrant baseboxes for multiple platforms
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust to everyone.
minimal cookiecutter template for new TLA+ modules
Sample multi-tier application to deploy
Towards a CAP Theorem for Censorship Circumvention
A Usable Formal Methods Sample Problem from TEEP
SageMaker custom deployments made easy
Compositional Verification of Security Protocols
Python Pluggable Shell Interface
Directory structure for a more-dynamic "/etc/rc.conf".
graylog2 systemd scripts
GitHub repository for the SecureDrop whistleblower platform. Do not submit tips here!
a Qt-based GUI for SecureDrop journalists 📰🗞️
python bindings to signal's zkgroup
Scripts for working with the slack(8) configuration-management tool.
Terraform module for standing up a SecureDrop production environment at Equinix Metal (fka Packet)
Terraform module for standing up a SecureDrop staging environment at Equinix Metal (fka Packet)
A reverse proxy for the Onion-network and an alternative to Tor2Web written in C++ using microhttpd and curl as well as the tor socks5 proxy. Onion URLs can be access by a domain extension like torgate.test.
Optional type-checking, data dependencies, and event notifications for Python
Layout-independent display of bilingual texts for the Web.
Nice and simple library for using AMQP with Twisted.