emeryberger / COMPSCI-630View external linksLinks
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
Sorting:
- An alternative full node bitcoin implementation written in Go (golang)☆20Jan 24, 2022Updated 4 years ago
- Ruby Regular Expression Helper Gem☆17Oct 30, 2016Updated 9 years ago
- Notes from my study of Learn Prolog Now!☆11Apr 23, 2012Updated 13 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 last month
- ☆15May 3, 2019Updated 6 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
- 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
- Resources for my Homotopy Type Theory course at OPLSS 2023☆13Jul 11, 2023Updated 2 years ago
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆15Dec 20, 2022Updated 3 years ago
- Where I create DAS Nodes that utilize a Secure Kademlia DHT Discv5 overlay☆16May 5, 2023Updated 2 years ago
- Compact linkable ring signatures. A modification on MLSAG.☆20May 10, 2020Updated 5 years ago
- The modular protocol framework based on Universal Composability☆18Jun 24, 2020Updated 5 years ago
- A standard point from which crypto projects may derive their responsible disclosure policy.☆18Apr 27, 2022Updated 3 years ago
- https://eprint.iacr.org/2020/1516.pdf☆19Jan 2, 2023Updated 3 years ago
- A DSL for Software-Defined Satellite Applications☆24Apr 14, 2020Updated 5 years ago
- ☆23Jul 11, 2021Updated 4 years ago
- Notary: A Device for Secure Transaction Approval 📟☆28Feb 1, 2025Updated last year
- Low level arithmetic primitives in RTL☆23Apr 3, 2020Updated 5 years ago
- Website!☆22Sep 20, 2022Updated 3 years ago
- A small repo of resources for my lecture students.☆16May 6, 2017Updated 8 years ago
- ☆27Oct 18, 2022Updated 3 years ago
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆29Jan 8, 2023Updated 3 years ago
- Linearly Homomorphic Time Lock Puzzle Library☆31Mar 30, 2020Updated 5 years ago
- Pointcheval Sanders signature☆27Jan 16, 2020Updated 6 years ago
- Proactive refresh for accountable threshold signatures☆36Mar 21, 2023Updated 2 years ago
- Rethinking the User Interface of AI☆28Updated this week
- World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.☆36Jan 12, 2022Updated 4 years ago
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆24Jan 11, 2026Updated last month
- 7zx is a small C library to extract, test and list 7z / 7zip archives☆10Feb 11, 2023Updated 3 years ago
- AI-powered documentation generator CLI for Claude Code projects☆25Feb 3, 2026Updated last week
- A Claude Code / OpenClaw skill for requesting, accepting, and making payments from / to humans and agents☆111Feb 2, 2026Updated last week
- Learn about drivers, connectivity and requests by running a simple API with Apache Cassandra/Astra DB as its data backend.☆12Jan 24, 2023Updated 3 years ago
- A powerful MCP testing tool with multi-provider LLM support (Ollama, OpenAI, Claude, Gemini). Test, debug, and develop MCP servers with a…☆18Jan 7, 2026Updated last month
- TypeScript SDK for programmatic access to Google NotebookLM☆23Jan 14, 2026Updated last month
- ☆13Jul 22, 2022Updated 3 years ago
- This repository contains helpful use commands and exercises for preparing the CKA and CKAD. Also, you can download the kube-response tool…☆10May 13, 2022Updated 3 years ago
- C++ template edition of the (standard) kalman filter☆10Aug 26, 2012Updated 13 years ago
- The production data interface for AI agents.☆23Updated this week