Princeton University - COS/ECE 470 : Principles of Blockchains
☆20Dec 7, 2022Updated 3 years ago
Alternatives and similar repositories for COS-ECE470-fa2022
Users that are interested in COS-ECE470-fa2022 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 graduate seminar on SMT solving and solver-aided systems☆29Jul 17, 2022Updated 3 years ago
- Coded Merkle Tree☆25Aug 6, 2019Updated 6 years ago
- ☆22Sep 9, 2021Updated 4 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 4 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 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.
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 6 years ago
- Racket Equivalence Graph Library☆19May 24, 2022Updated 3 years ago
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- ☆17Apr 22, 2019Updated 6 years ago
- Speed up secp256k1 with endomorphism☆14Dec 7, 2022Updated 3 years ago
- ☆12Dec 8, 2022Updated 3 years ago
- ☆12Dec 17, 2023Updated 2 years ago
- Deterministic And Verifiable Randomness On Schnorr signatures☆12Nov 18, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆16Apr 12, 2021Updated 4 years ago
- ZK proofs for Brainfuck execution using powdr☆17Aug 28, 2024Updated last year
- EN.601.741: Advanced Topics in Secure and Censorship-Resistant Communications☆15Jan 25, 2021Updated 5 years ago
- pRuntime is the execution kernel running inside TEE enclave☆10May 26, 2020Updated 5 years ago
- ☆12Mar 1, 2024Updated 2 years ago
- ACS L50 course repository☆12Nov 25, 2024Updated last year
- An LLVM interface for Lean 4. (WIP)☆26Aug 1, 2023Updated 2 years ago
- Simple PyTorch profiler that combines DeepSpeed Flops Profiler and TorchInfo☆11Feb 12, 2023Updated 3 years ago
- ☆21Sep 8, 2021Updated 4 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- A Distributed Multi-GPU System for Fast Graph Processing☆65Oct 25, 2018Updated 7 years ago
- [ICML 2023] "Data Efficient Neural Scaling Law via Model Reusing" by Peihao Wang, Rameswar Panda, Zhangyang Wang☆14Jan 4, 2024Updated 2 years ago
- Artifacts for our ShowTime paper (AsiaCCS '23), including distinguishing cache hits and misses with the human eye.☆14Jul 21, 2023Updated 2 years ago
- Term project for TaPL. A mini coq-like proof assistant.☆17Jun 17, 2018Updated 7 years ago
- DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols☆17Jan 1, 2022Updated 4 years ago
- Additional utility code for the Spring dataset and benchmark☆13Jul 4, 2023Updated 2 years ago
- Code for "What really matters in matrix-whitening optimizers?"☆23Oct 31, 2025Updated 4 months ago
- Lab assignments for the Agile Hardware Design course☆18Nov 14, 2025Updated 4 months ago
- A system which deploys and manages containerized applications. Course project of SJTU SE3356, 2022.☆16Jun 29, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- zk-Snarks circuit for franchise proof☆13Dec 5, 2023Updated 2 years ago
- Practical Cryptoanalysis☆12Nov 23, 2015Updated 10 years ago
- Persistent dense gemm for Hopper in `CuTeDSL`☆15Aug 9, 2025Updated 7 months ago
- Code for "Building an Efficient Key-Value Store in a Flexible Address Space" (EuroSys '22)☆24Mar 17, 2025Updated last year
- verilog modules☆15May 4, 2020Updated 5 years ago
- A side project that follows all the acceleration tricks in tinyllama, with the minimal modification to the huggingface transformers code.☆13Sep 2, 2024Updated last year
- ☆19Dec 4, 2025Updated 3 months ago