Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.
☆22Jun 5, 2023Updated 2 years ago
Alternatives and similar repositories for COMPSCI-630
Users that are interested in COMPSCI-630 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An alternative full node bitcoin implementation written in Go (golang)☆20Jan 24, 2022Updated 4 years ago
- AppCoins is a blockchain-based protocol for the App Economy supported by the Aptoide App Store, and the first ICO serving 200 million us…☆12May 22, 2018Updated 7 years ago
- High Assurance Cryptographic Software☆10Dec 23, 2025Updated 4 months ago
- Utilities for writing C++ extension modules.☆85Jul 13, 2023Updated 2 years ago
- Parses https://eprint.iacr.org/eprint-bin/search.pl?last=365&title=1 and sends you an email with the latest papers☆15Nov 11, 2020Updated 5 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.
- ☆14May 3, 2019Updated 7 years ago
- Where I create DAS Nodes that utilize a Secure Kademlia DHT Discv5 overlay☆16May 5, 2023Updated 3 years ago
- Ruby Regular Expression Helper Gem☆17Oct 30, 2016Updated 9 years ago
- An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…☆13Dec 3, 2020Updated 5 years ago
- ☆23Jul 11, 2021Updated 4 years ago
- https://eprint.iacr.org/2020/1516.pdf☆19Jan 2, 2023Updated 3 years ago
- Compact linkable ring signatures. A modification on MLSAG.☆20May 10, 2020Updated 5 years ago
- The modular protocol framework based on Universal Composability☆17Jun 24, 2020Updated 5 years ago
- A DSL for Software-Defined Satellite Applications☆25Apr 14, 2020Updated 6 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.
- A standard point from which crypto projects may derive their responsible disclosure policy.☆19Apr 27, 2022Updated 4 years ago
- OCaml adapters for crypto providers used in Everest☆10Sep 13, 2018Updated 7 years ago
- moderngpu algorithms for C++ shaders☆16Mar 3, 2021Updated 5 years ago
- Public exploits☆16May 28, 2018Updated 7 years ago
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆29Jan 8, 2023Updated 3 years ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆19Jun 21, 2015Updated 10 years ago
- finding set bits in large bitmaps☆15Nov 30, 2015Updated 10 years ago
- Browser extension to remove unicode text stylization, Now available for Firefox and Chrome (see below)☆10Sep 1, 2024Updated last year
- Notary: A Device for Secure Transaction Approval 📟☆28Feb 1, 2025Updated last year
- 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.
- Header only debug module for c++11☆38Feb 6, 2015Updated 11 years ago
- Website!☆22Sep 20, 2022Updated 3 years ago
- Low level arithmetic primitives in RTL☆24Apr 3, 2020Updated 6 years ago
- ☆27Oct 18, 2022Updated 3 years ago
- Native C++ Library☆49May 23, 2015Updated 10 years ago
- Notes about running Linux natively on the Google Pixel (completely getting rid of ChromeOS).☆20Sep 18, 2013Updated 12 years ago
- Fully procedural GLSL eyeball shader☆11Sep 14, 2015Updated 10 years ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆12Jun 15, 2014Updated 11 years ago
- A registry of publicly available datasets on AWS☆12Sep 8, 2023Updated 2 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.
- Quick and simple stacktraces for C++☆12Oct 10, 2015Updated 10 years ago
- C++ template edition of the (standard) kalman filter☆10Aug 26, 2012Updated 13 years ago
- Zcash "Sapling" cryptography☆87Apr 22, 2026Updated 2 weeks ago
- Modular, opensource, high performance G-code interpreter and CNC controller written in Object-Oriented C++☆10Jun 17, 2016Updated 9 years ago
- Slides for my 2019 presentation at C++ on Sea☆13Aug 10, 2021Updated 4 years ago
- ☆13Apr 14, 2026Updated 3 weeks ago
- A library of tools for compiler construction.☆13May 18, 2016Updated 9 years ago