Top Secret - a game about the Snowden leaks. The most up-to-date version of these tools can be found at https://github.com/jameslong/memo.
☆18Apr 17, 2017Updated 9 years ago
Alternatives and similar repositories for topsecret
Users that are interested in topsecret are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 7 years ago
- A transducer library for Rust☆10May 22, 2016Updated 10 years ago
- A phone CNAM lookup utility using the OpenCNAM API☆12Aug 15, 2014Updated 12 years ago
- Schadcode that demonstrates a revisited hash-flooding DoS attack (cf. https://www.131002.net/siphash/).☆34Dec 31, 2012Updated 13 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆12Aug 24, 2014Updated 12 years ago
- iCloud Apple iD BruteForcer☆12Jan 2, 2015Updated 11 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆12Nov 5, 2017Updated 8 years ago
- Compute the timezone of latitude/longitude pairs.☆10Dec 17, 2021Updated 4 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 10 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 10 years ago
- Turn a string of hexadecimal characters into an `ArrayBuffer`☆10Jul 24, 2021Updated 5 years ago
- A REPL for nix expressions in your browser☆14May 5, 2018Updated 8 years ago
- AuthDog server side U2F/FIDO implementation for Node.js☆12May 24, 2017Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Decoders for 7ev3n ransomware☆17Oct 24, 2016Updated 9 years ago
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- A trace visualization of MicroKanren logic programs, in JS.☆14Jan 1, 2023Updated 3 years ago
- An example Login.gov client application which authenticates users via OpenID Connect (OIDC). Built with Node.js, Express.js, and Passport…☆12Feb 14, 2020Updated 6 years ago
- Experimental C++11 backend for Idris☆16Nov 29, 2014Updated 11 years ago
- Common utility modules shared between various Python based Yubico projects.☆12Apr 18, 2017Updated 9 years ago
- Verified vector clocks, with Coq!☆14Dec 15, 2013Updated 12 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 7 years ago
- A Rust crate for a Bucket Queue data structure that can be used as a Priority Queue.☆19Nov 20, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Demo: OS sandboxing for unsafe code in Rust☆14Mar 10, 2015Updated 11 years ago
- SmartCard U2F Adapter for macOS☆13Apr 11, 2020Updated 6 years ago
- A multi-channel (voice and SMS) support desk call center built with Twilio's TaskRouter API, Python and Flask.☆15Feb 18, 2015Updated 11 years ago
- Using social media to steer web archiving and curation.☆18Nov 20, 2015Updated 10 years ago
- Julia bindings for AMD's clFFT library☆16Aug 22, 2023Updated 3 years ago
- ☆15Apr 16, 2021Updated 5 years ago
- Mac connection bindings for node.js☆17May 8, 2026Updated 4 months ago
- GapBuffer data structure in Rust.☆16Mar 30, 2015Updated 11 years ago
- ☆17Oct 8, 2014Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 📚 ✍️ 🕵🏻♂️ 🚨 🔐 Security Evaluation of Multi-Factor Authentication in Comparison with the Web Authentication API | Master's Thesis☆16Sep 18, 2024Updated 2 years ago
- A versioning file store backed by git, darcs, or mercurial☆37Aug 26, 2025Updated last year
- A Formal Library as a Bitcoin Spin-Off☆17Jun 11, 2017Updated 9 years ago
- collaboration on work in progress☆15Mar 4, 2011Updated 15 years ago
- Epiphany BASIC☆12Jun 30, 2015Updated 11 years ago
- ☆12Jul 6, 2015Updated 11 years ago
- A simple website for previewing WebAuthn attestations and assertions☆17Sep 30, 2025Updated 11 months ago