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 6 years ago
- A transducer library for Rust☆10May 22, 2016Updated 9 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- ☆12Aug 24, 2014Updated 11 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 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.
- GTK and HTML viewers for mirage-profile trace files☆21Feb 8, 2023Updated 3 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
- FutureTrust analyzes electronic identification (eID) services in Europe and beyond. It is funded within the EU Framework Programme for Re…☆12Nov 16, 2022Updated 3 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
- ☆11Nov 6, 2018Updated 7 years ago
- Decoders for 7ev3n ransomware☆17Oct 24, 2016Updated 9 years ago
- Paul's Parser for Tom's Own Minimal Language☆20Sep 6, 2022Updated 3 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.
- AuthDog server side U2F/FIDO implementation for Node.js☆12May 24, 2017Updated 8 years ago
- creating a cabal new-build configuration from a stack configuration☆12May 8, 2018Updated 7 years ago
- Experimental C++11 backend for Idris☆15Nov 29, 2014Updated 11 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 7 years ago
- Verified vector clocks, with Coq!☆14Dec 15, 2013Updated 12 years ago
- Common utility modules shared between various Python based Yubico projects.☆12Apr 18, 2017Updated 9 years ago
- A node.js setup to demonstrate FIDO Universal 2nd Factor (U2F) authentication☆12Oct 23, 2021Updated 4 years ago
- Rust bindings for libpng - UNMAINTAINED - DO NOT USE☆28Oct 14, 2016Updated 9 years ago
- Demo: OS sandboxing for unsafe code in Rust☆13Mar 10, 2015Updated 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Wrap your functions, methods, and properties to monitor them and modify their behavior.☆12Apr 18, 2017Updated 9 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
- Julia bindings for AMD's clFFT library☆16Aug 22, 2023Updated 2 years ago
- Using social media to steer web archiving and curation.☆18Nov 20, 2015Updated 10 years ago
- ☆15Apr 16, 2021Updated 5 years ago
- SmartCard U2F Adapter for macOS☆13Apr 11, 2020Updated 6 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Feb 3, 2013Updated 13 years ago
- A Formal Library as a Bitcoin Spin-Off☆17Jun 11, 2017Updated 8 years ago
- collaboration on work in progress☆15Mar 4, 2011Updated 15 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.
- an implementation of a microKanren(-like language) in miniKanren☆27Aug 1, 2014Updated 11 years ago
- A webExtension to collect TLS stats☆14Aug 5, 2017Updated 8 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
- DISCONTINUED! PLEASE MOVE TO WEBAUTHN! https://medium.com/@herrjemand/introduction-to-webauthn-api-5fd1fb46c285☆13Apr 15, 2019Updated 7 years ago
- Distributed computing library☆34Aug 7, 2018Updated 7 years ago
- Geometry in Coq for French high school [maintainer=@thery]☆21Jul 13, 2024Updated last year
- A simple website for previewing WebAuthn attestations and assertions☆17Sep 30, 2025Updated 7 months ago