Cory Francis Myers's repositories
draft-mt-ufmrg-teep-sample
A Usable Formal Methods Sample Problem from TEEP
draft-cfm-circumvention-cap-theorem
Towards a CAP Theorem for Censorship Circumvention
securedrop-client
a Qt-based GUI for SecureDrop journalists 📰🗞️
terraform-metal-securedrop-staging
Terraform module for standing up a SecureDrop staging environment at Equinix Metal (fka Packet)
owl
Compositional Verification of Security Protocols
babel-search
Library of Babel as literary halting problem
api
🚀 Automatic SDK generation from an OpenAPI definition
comprehensive-rust
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust to everyone.
cookiecutter-tla
minimal cookiecutter template for new TLA+ modules
securedrop
GitHub repository for the SecureDrop whistleblower platform. Do not submit tips here!
weblate
Web based localization tool with tight version control integration.
bento
Packer templates for building minimal Vagrant baseboxes for multiple platforms
signal-groups
python bindings to signal's zkgroup
terraform-metal-securedrop-production
Terraform module for standing up a SecureDrop production environment at Equinix Metal (fka Packet)
torgate
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.
easy-amazon-sagemaker-deployments
SageMaker custom deployments made easy
traits
Optional type-checking, data dependencies, and event notifications for Python
devops-challenge-apps
Sample multi-tier application to deploy
tx-easy-pika
Nice and simple library for using AMQP with Twisted.
translation-viewer
Layout-independent display of bilingual texts for the Web.
scripts-graylog2
graylog2 systemd scripts
pypsi
Python Pluggable Shell Interface
rc.local.d
Directory structure for a more-dynamic "/etc/rc.conf".