Anon-Pass is a practical cryptographic anonymous subscription scheme. Combined with a proof-of-concept integration, it can scale to thousands of concurrent users. See http://zweb.cs.utexas.edu/users/osa/anon-pass/ for more details.
☆12Dec 15, 2014Updated 11 years ago
Alternatives and similar repositories for anon-pass
Users that are interested in anon-pass are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A NoSQL Document based DB implementation on top of the Ethereum Project blockchain☆11Oct 27, 2017Updated 8 years ago
- Open Bitcoin QR Code Maker☆11Apr 13, 2020Updated 6 years ago
- The set of root certificates trusted by dart:io's default SecurityContext. Taken from Mozilla's NSS library.☆12Jul 2, 2021Updated 5 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆26May 31, 2023Updated 3 years ago
- ☆14Apr 7, 2014Updated 12 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Hacking the with statement for fun and profit☆14Aug 21, 2009Updated 17 years ago
- Demo code for connecting the Raspberry Pi and the Melexis MLX90620 16x4 thermopile array.☆12May 6, 2015Updated 11 years ago
- Refinement types encoded with private types in OCaml.☆11Oct 18, 2020Updated 6 years ago
- A fast, thread-safe, simple, lightweight, batchable interface to the bitcoind JSON-RPC api.☆13Aug 22, 2019Updated 7 years ago
- Power-calibrate calibrates the power consumption of a mobile device that has a battery power source. It will attempt to calculate the pow…☆13Jan 1, 2025Updated last year
- move messages from one maildir to another☆12Jul 26, 2026Updated 2 months ago
- This is the repository to host the code for hslang parsing and code generation.☆20May 20, 2022Updated 4 years ago
- Experimental C++11 backend for Idris☆16Nov 29, 2014Updated 11 years ago
- The Rumprun unikernel and toolchain for various platforms☆11Jul 22, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- a signature verifying command interpreter☆11Jun 30, 2026Updated 3 months ago
- Android compatible mosh-client based on Dan Drown's repo at https://github.com/ddrown/mosh☆17Feb 14, 2021Updated 5 years ago
- Matreshka Project☆16May 3, 2026Updated 5 months ago
- Python implementation of the Sphinx mix format. - Paper: http://www.cypherpunks.ca/~iang/pubs/Sphinx_Oakland09.pdf☆16Jun 17, 2019Updated 7 years ago
- Bitcoin Core address-indexed mod☆11Feb 27, 2023Updated 3 years ago
- System Configuration Abstraction Layer☆14Mar 15, 2017Updated 9 years ago
- Elkhound is a parser generator capable of emitting a GLR parser in OCaml☆17Dec 21, 2025Updated 9 months ago
- BiBLaTeX style for Springer Lecture Notes in Computer Science☆14May 1, 2016Updated 10 years ago
- The android network protocol stack☆10Jan 3, 2014Updated 12 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Major mode for Coconut☆11May 21, 2017Updated 9 years ago
- A simple tutorial about how to use the CIL compiler frontend☆12Feb 10, 2025Updated last year
- Ada-tailored UML Modeling Language☆12May 14, 2023Updated 3 years ago
- ☆16Sep 28, 2012Updated 14 years ago
- OCaml bindings for libpg_query☆22Jan 6, 2025Updated last year
- Android App for running UART GATT Server (Peripheral) on phone☆16Dec 16, 2016Updated 9 years ago
- Portfolio and blog for my online brand. Performance Optimized Single Page React App.☆11Nov 7, 2016Updated 9 years ago
- Complete (!?) list of prototyping tools☆16Oct 30, 2016Updated 9 years ago
- An experimental typing of Lojban grammar, in Haskell☆13Jun 20, 2013Updated 13 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Nagios Email Handler☆16Feb 26, 2011Updated 15 years ago
- An implementation of the differentially private variational inference algorithm for NumPyro.☆17Sep 3, 2024Updated 2 years ago
- Repository for NLP project. Name to be changed when we decide on a project☆17Apr 19, 2022Updated 4 years ago
- DroidPad Android application☆17Apr 12, 2014Updated 12 years ago
- accept by Wirecard mPOS SDK for Android☆11Jan 22, 2020Updated 6 years ago
- Experimental High Assurance Cryptographic Library☆21Feb 1, 2016Updated 10 years ago
- RSS feeds of journals and conferences indexed by DBLP☆18Aug 9, 2013Updated 13 years ago