-
comprakt-fuzz Public
Forked from comprakt/comprakt-fuzzA fuzzer for the MiniJava language
Python Apache License 2.0 UpdatedOct 10, 2025 -
securedrop-protocol Public
Forked from freedomofpress/securedrop-protocolResearch and proof of concept to develop the next SecureDrop with end to end encryption.
Python GNU Affero General Public License v3.0 UpdatedOct 10, 2025 -
securedrop Public
Forked from freedomofpress/securedropGitHub repository for the SecureDrop whistleblower platform. Do not submit tips here!
Python Other UpdatedOct 2, 2025 -
securedrop-client Public
Forked from freedomofpress/securedrop-clienta Qt-based GUI for SecureDrop journalists 📰🗞️
-
-
bsfliterm Public
Forked from shelbyKiraM/bsflitermbsflite (the minimalist AIM client) with modifications for command access.
C BSD 3-Clause "New" or "Revised" License UpdatedAug 24, 2025 -
babel-search Public
Library of Babel as literary halting problem
-
-
hpke-pq Public
Forked from hpkewg/hpke-pqPost-Quantum Algorithms for HPKE
Makefile Other UpdatedMay 15, 2025 -
-
Terraform module for standing up a SecureDrop staging environment at Equinix Metal (fka Packet)
-
draft-mt-ufmrg-teep-sample Public
A Usable Formal Methods Sample Problem from TEEP
Makefile Other UpdatedJan 30, 2025 -
Towards a CAP Theorem for Censorship Circumvention
-
-
-
-
owl Public
Forked from secure-foundations/owlCompositional Verification of Security Protocols
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 13, 2024 -
draft-detecting-unwanted-location-trackers Public
Forked from bdetwiler/draft-detecting-unwanted-location-trackersMakefile Other UpdatedJan 28, 2024 -
api Public
Forked from readmeio/api🚀 Automatic SDK generation from an OpenAPI definition
TypeScript MIT License UpdatedSep 29, 2023 -
comprehensive-rust Public
Forked from google/comprehensive-rustThis is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust to everyone.
Rust Apache License 2.0 UpdatedJul 7, 2023 -
-
cookiecutter-tla Public
minimal cookiecutter template for new TLA+ modules
-
weblate Public
Forked from WeblateOrg/weblateWeb based localization tool with tight version control integration.
Python GNU General Public License v3.0 UpdatedMar 30, 2023 -
bento Public
Forked from chef/bentoPacker templates for building minimal Vagrant baseboxes for multiple platforms
HCL Apache License 2.0 UpdatedFeb 10, 2023 -
signal-groups Public
Forked from freedomofpress/signal-groupspython bindings to signal's zkgroup
Rust GNU General Public License v3.0 UpdatedNov 13, 2021 -
Terraform module for standing up a SecureDrop production environment at Equinix Metal (fka Packet)
-
torgate Public
Forked from jankammerath/torgateA 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 tor…
C++ Apache License 2.0 UpdatedFeb 8, 2021 -
easy-amazon-sagemaker-deployments Public
Forked from aws-samples/easy-amazon-sagemaker-deploymentsSageMaker custom deployments made easy
Jupyter Notebook UpdatedSep 29, 2020 -
-
traits Public
Forked from enthought/traitsOptional type-checking, data dependencies, and event notifications for Python
Python Other UpdatedAug 9, 2016
{{ message }}