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
- Doorbot API server - Similar to https://envoy.co☆10Sep 3, 2015Updated 10 years ago
- Secret Santa over SMS with Twilio.☆11Dec 13, 2021Updated 4 years ago
- Service for Sails framework with SMS features [DEAD]☆12Mar 6, 2021Updated 5 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 9 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- An app to provide phone confirmation via Twilio☆15Apr 11, 2019Updated 7 years ago
- Deprecated SMS 2FA-authentication for Redmine. Please use https://github.com/southbridgeio/redmine_2fa☆11Nov 19, 2019Updated 6 years ago
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 7 years ago
- Sample iOS MDM server☆17Aug 4, 2016Updated 10 years ago
- iCloud Apple iD BruteForcer☆12Jan 2, 2015Updated 11 years ago
- Get all the necessary server-side junk for Twilio Client set up quickly and easily using this simple php server.☆14Sep 3, 2014Updated 11 years ago
- Go Utilities for Twilio☆20Feb 11, 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
- iCloud / cloudkit API☆14Aug 29, 2016Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Third Prize for Uber Hackathon China 2016. Source code for nodeJS server of UberGuide Project.☆14Jan 17, 2016Updated 10 years ago
- A Twilio port for Laravel (4.2+)☆13Apr 18, 2016Updated 10 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
- Code for Rumal Backend that will interface with Thug Daemon☆11Nov 24, 2016Updated 9 years ago
- SSL + RSA + GPG Secure Key Store☆19Aug 5, 2015Updated 11 years ago
- A REPL for nix expressions in your browser☆14May 5, 2018Updated 8 years ago
- Make Twilio voice/SMS calls with Flask☆10Mar 2, 2018Updated 8 years ago
- A Node.js application that consumes messages published on Redis channels and send them as Push Notifications via APNS or GCM.☆18Jan 25, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Express web-server with API endpoint to get Twilio STUN/TURN data☆13Apr 29, 2023Updated 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
- Open-source interpreter for Twilio's TwiML realtime call control grammar☆15Mar 4, 2009Updated 17 years ago
- Experimental C++11 backend for Idris☆15Nov 29, 2014Updated 11 years ago
- Note: This repo has been transferred to App Academy and this fork is not being maintained. You will find latest changes on App Academy's …☆15Nov 15, 2015Updated 10 years ago
- Automated Survey application built on Rails☆11Jul 19, 2023Updated 3 years ago
- SMS Two Factor Authentication implementation with Flask and Twilio☆15Feb 5, 2025Updated last year
- Common utility modules shared between various Python based Yubico projects.☆12Apr 18, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Documentation and common scenarios for newsroom usage of https://github.com/cantino/huginn/☆16Aug 19, 2016Updated 9 years ago
- Verified vector clocks, with Coq!☆14Dec 15, 2013Updated 12 years ago
- A node.js setup to demonstrate FIDO Universal 2nd Factor (U2F) authentication☆12Oct 23, 2021Updated 4 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
- A simple example of how to use findi to keep track of your iPhone's location.☆15Jan 28, 2013Updated 13 years ago
- Demo: OS sandboxing for unsafe code in Rust☆14Mar 10, 2015Updated 11 years ago