CS 5830: Cryptography
☆15May 17, 2017Updated 9 years ago
Alternatives and similar repositories for CS5830-Spring2017
Users that are interested in CS5830-Spring2017 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lua like script language☆17Apr 26, 2016Updated 10 years ago
- ☆14Jul 20, 2017Updated 8 years ago
- Microkernel-based system for heterogeneous manycores☆14Jun 1, 2026Updated last week
- ☆10Dec 28, 2022Updated 3 years ago
- MOOC & Open Source Group☆19Apr 1, 2018Updated 8 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.
- Diffs for structured data☆16Dec 26, 2018Updated 7 years ago
- An implementation of the Raft consensus protocol.☆14Aug 6, 2018Updated 7 years ago
- Sher's crypto library☆10Jan 12, 2021Updated 5 years ago
- aries-acapy-plugins☆10Updated this week
- Ray Tracing☆21Apr 6, 2017Updated 9 years ago
- ☆12May 8, 2024Updated 2 years ago
- This open collaboration project aims to explore and document the various technology stacks associated with Starknet.☆10Feb 21, 2024Updated 2 years ago
- A place to collect ZKJobs☆17May 19, 2021Updated 5 years ago
- Z8 : fantasy 8-bit system☆11Jul 15, 2024Updated last year
- 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 ongoing & curated collection of awesome vulnerability scanning software, libraries and frameworks, best guidelines, technical resource…☆14Feb 7, 2022Updated 4 years ago
- Spire Labs' litepaper (it's pretty based bro)☆16Oct 31, 2024Updated last year
- Probabilistic Logic Semantics☆17Feb 10, 2017Updated 9 years ago
- misc☆17May 26, 2015Updated 11 years ago
- Open-source Verifiable Data Structures Server implementation☆13Aug 12, 2025Updated 9 months ago
- Give integers super-powers!☆20Jan 20, 2022Updated 4 years ago
- An explorer for account abstraction☆18Apr 1, 2023Updated 3 years ago
- Backend development stack for agents☆29Jul 30, 2025Updated 10 months ago
- ☆10Jul 6, 2022Updated 3 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.
- polymorphism with value semantics (based on std::variant)☆12Sep 7, 2016Updated 9 years ago
- OpenID4VC Playground for issuing and verifying SD-JWTs and mDOCs.☆14Updated this week
- 七拉八扯：七扯blog - sevenCHE.com☆27Dec 26, 2016Updated 9 years ago
- EN.601.741: Advanced Topics in Secure and Censorship-Resistant Communications☆15Jan 25, 2021Updated 5 years ago
- Source code for 'Beginning Ethereum Smart Contracts Programming' by Wei-Meng Lee☆11Nov 22, 2019Updated 6 years ago
- 2D platformer game where you play as a non-flying kind of duck.☆10Apr 9, 2018Updated 8 years ago
- This is a mirror of zkevm-specs(https://github.com/scroll-tech/zkevm-specs).☆15Jul 18, 2023Updated 2 years ago
- A collection of blockchain-related SoK papers.☆18Aug 6, 2022Updated 3 years ago
- ☆20Dec 27, 2022Updated 3 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.
- A simple sql parser with context-free grammer, predictive parser and lexer with DFA☆12Oct 29, 2015Updated 10 years ago
- Redirects the user to a nearby mirror site.☆11Sep 25, 2016Updated 9 years ago
- ☆21Dec 30, 2024Updated last year
- Companion repository for the "Seven Databases in Seven Days" blog series☆14Mar 1, 2018Updated 8 years ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆51Dec 12, 2021Updated 4 years ago
- Input method control scripts collection for Vim☆25Oct 24, 2018Updated 7 years ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆24May 24, 2020Updated 6 years ago