Implementation of the Apple and Google contact tracing cryptographic specification.
☆18Apr 13, 2020Updated 6 years ago
Alternatives and similar repositories for contact-tracing-crypto
Users that are interested in contact-tracing-crypto are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Ed25519 peculiarities - now in your browser☆11Feb 6, 2025Updated last year
- Convert various benchmarking formats to benchfmt☆13Jan 31, 2025Updated last year
- Tool for plotting Go benchmark results☆18Jul 10, 2024Updated 2 years ago
- Priority queue for C☆12Mar 28, 2023Updated 3 years ago
- discohash☆15Oct 30, 2021Updated 4 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.
- ☆78Jun 15, 2020Updated 6 years ago
- A generalized package manager for whatever code.☆41Jul 30, 2023Updated 3 years ago
- Implementations of do255e and do255s in C and assembly☆26May 3, 2021Updated 5 years ago
- CLI for reading IETF RFCs☆15Apr 23, 2022Updated 4 years ago
- Implementation of do255e and do255s in Go☆23Dec 14, 2020Updated 5 years ago
- An independent implementation of the Powers of Tau MPC ceremony.☆34Mar 13, 2018Updated 8 years ago
- A proof-of-concept web framework written in Swift☆11Sep 16, 2015Updated 11 years ago
- Deadline countdowns for academic conferences relevant to the SSE chair.☆13Jun 25, 2026Updated 3 months ago
- Go PASETO implementation☆19Sep 2, 2020Updated 6 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.
- An aid for developing correct WebAssembly implementations through generative fuzzing☆15Aug 30, 2022Updated 4 years ago
- Parallel programming library in C++11☆13Jan 2, 2020Updated 6 years ago
- A simple example of using Tile38 to track the ISS and send notifications when it's overhead.☆10Sep 4, 2018Updated 8 years ago
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic☆12Dec 18, 2023Updated 2 years ago
- nv2D: Efficient immediate-mode style 2D rendering using OpenGL 4.x core vertex buffer objects☆15Oct 3, 2013Updated 13 years ago
- Implementation of cryptographic primitives in Go☆13Mar 13, 2023Updated 3 years ago
- Implementation of https://www.ietf.org/archive/id/draft-denis-aegis-aead-00.html / https://competitions.cr.yp.to/round3/aegisv11.pdf☆15Mar 25, 2025Updated last year
- ☆24May 12, 2022Updated 4 years ago
- Run Go executables under llvm-mca☆13Apr 1, 2022Updated 4 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.
- A Zig implementation of EdDSA signatures with blind keys.☆17Apr 11, 2026Updated 6 months ago
- This project is written in response to the Covid-19 crisis and the decisions made by Bilkent University regarding the continuity of educa…☆17Jun 2, 2021Updated 5 years ago
- Github Gists from the command line. On MAC OSX, it (will be) an Alfred Workflow!☆11Dec 20, 2020Updated 5 years ago
- Load classic games from magnetic swipe cards☆36Sep 7, 2019Updated 7 years ago
- Experimental finite field primitives (and maybe more)☆11Jul 24, 2020Updated 6 years ago
- An interactive tool for experimenting with LR(1) grammars☆20Feb 8, 2022Updated 4 years ago
- CLang Plugin for calculating AST hashes☆16Feb 11, 2019Updated 7 years ago
- Classic Tomb Raider open-source engine☆15Jun 24, 2026Updated 3 months ago
- Standard ML autoformatter☆15Dec 25, 2021Updated 4 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.
- Peggy is a PEG parser generator for Go.☆20Oct 22, 2025Updated 11 months ago
- System for verifying the correctness of generated Copilot programs☆19May 8, 2025Updated last year
- PArallel PArser GENeratOr☆14Sep 11, 2015Updated 11 years ago
- 🌈 🐴 Turn your terminal text into an absolutely beautiful display of dazzling colors....☆19Oct 13, 2017Updated 8 years ago
- Formally Verified X.509 Certificate Validation☆18Nov 19, 2025Updated 10 months ago
- A constant-time library for big integers modulo a prime, usable for cryptographic applications. Exported from crypto/internal/bigmod, the…☆16Jan 3, 2026Updated 9 months ago
- y.js (https://github.com/yjs/yjs) Dart port, a CRDT implementation. CRDTs allow for local, offline editing and synchronization of shared …☆12Dec 18, 2022Updated 3 years ago