Giters
Cory Francis Myers (cfm)

cfm

Geek Repo

22

followers

71

following

26

stars

Company:@freedomofpress

Home Page:https://www.panix.com/~cfm

Github PK Tool:Github PK Tool

Organizations
freedomofpress
tellurideassociation

Cory Francis Myers's repositories

babel-search

Library of Babel as literary halting problem

Language:RustLicense:MITStargazers:1Issues:0Issues:0

cookiecutter-tla

minimal cookiecutter template for new TLA+ modules

Language:MakefileStargazers:1Issues:2Issues:0

draft-cfm-circumvention-cap-theorem

Towards a CAP Theorem for Censorship Circumvention

Language:MakefileLicense:NOASSERTIONStargazers:1Issues:2Issues:0

api

🚀 Automatic SDK generation from an OpenAPI definition

Language:TypeScriptLicense:MITStargazers:0Issues:1Issues:0

bento

Packer templates for building minimal Vagrant baseboxes for multiple platforms

Language:HCLLicense:Apache-2.0Stargazers:0Issues:1Issues:0

cfm

Stargazers:0Issues:2Issues:0

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.

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

devops-challenge-apps

Sample multi-tier application to deploy

Language:JavaScriptStargazers:0Issues:1Issues:0

dotfiles

Language:MakefileStargazers:0Issues:2Issues:0

easy-amazon-sagemaker-deployments

SageMaker custom deployments made easy

Language:Jupyter NotebookStargazers:0Issues:2Issues:0

feathers-1483

Language:JavaScriptStargazers:0Issues:3Issues:0

pypsi

Python Pluggable Shell Interface

Language:PythonLicense:NOASSERTIONStargazers:0Issues:3Issues:0

terraform-metal-securedrop-staging

Terraform module for standing up a SecureDrop staging environment at Equinix Metal (fka Packet)

Language:ShellLicense:MITStargazers:0Issues:3Issues:7

draft-detecting-unwanted-location-trackers

License:NOASSERTIONStargazers:0Issues:0Issues:0

draft-mt-ufmrg-teep-sample

A Usable Formal Methods Sample Problem from TEEP

Language:MakefileLicense:NOASSERTIONStargazers:0Issues:2Issues:0

onionmaker

License:MITStargazers:0Issues:0Issues:0

owl

Compositional Verification of Security Protocols

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

quorate

Language:RustLicense:MITStargazers:0Issues:2Issues:9

rc.local.d

Directory structure for a more-dynamic "/etc/rc.conf".

Stargazers:0Issues:2Issues:0

scripts-graylog2

graylog2 systemd scripts

Stargazers:0Issues:3Issues:0

securedrop

GitHub repository for the SecureDrop whistleblower platform. Do not submit tips here!

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

securedrop-client

a Qt-based GUI for SecureDrop journalists 📰🗞️

Language:PythonLicense:AGPL-3.0Stargazers:0Issues:1Issues:0

signal-groups

python bindings to signal's zkgroup

Language:RustLicense:GPL-3.0Stargazers:0Issues:1Issues:0

terraform-metal-securedrop-production

Terraform module for standing up a SecureDrop production environment at Equinix Metal (fka Packet)

Language:HCLLicense:MITStargazers:0Issues:0Issues:0

tor-ddos-research

Stargazers:0Issues:0Issues:0

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.

Language:C++License:Apache-2.0Stargazers:0Issues:2Issues:0

traits

Optional type-checking, data dependencies, and event notifications for Python

Language:PythonLicense:NOASSERTIONStargazers:0Issues:3Issues:0

translation-viewer

Layout-independent display of bilingual texts for the Web.

Language:CSSLicense:MITStargazers:0Issues:3Issues:3

tx-easy-pika

Nice and simple library for using AMQP with Twisted.

Language:PythonStargazers:0Issues:2Issues:0

weblate

Web based localization tool with tight version control integration.

Language:PythonLicense:GPL-3.0Stargazers:0Issues:1Issues:0