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
Sorting:
- Graded Dependent Type systems☆25Jun 28, 2023Updated 2 years ago
- ☆22Sep 9, 2021Updated 4 years ago
- A graduate seminar on SMT solving and solver-aided systems☆29Jul 17, 2022Updated 3 years ago
- ☆28Dec 3, 2025Updated 3 months ago
- 详细双语注释版word2vec源码，well-annotated word2vec☆10Oct 3, 2021Updated 4 years ago
- This project focuses on using deep learning to replace text in images while retaining the same font and style.☆10Dec 9, 2019Updated 6 years ago
- A small somewhat risk-like game. It is based upon a physics simulation describing an elastic graph.☆11Apr 13, 2021Updated 4 years ago
- ☆14Feb 11, 2026Updated 3 weeks ago
- Learn how FROST works by implementing it!☆11Nov 8, 2023Updated 2 years ago
- ☆12Mar 1, 2024Updated 2 years ago
- A distributed network based on hash codes and lattices.☆14Aug 16, 2016Updated 9 years ago
- ☆23Jul 11, 2025Updated 7 months ago
- ☆13Jan 7, 2025Updated last year
- A textbook on informal homotopy type theory -- Vladimir's fork, retained because there is a pull request based on it.☆11Feb 28, 2015Updated 11 years ago
- ☆12Aug 24, 2020Updated 5 years ago
- Speeding Up Your Python Codes 1000x☆12Apr 2, 2025Updated 11 months ago
- Collection of simple General Matrix Multiplication - GEMM implementations☆13Feb 26, 2024Updated 2 years ago
- CPU and GPU tutorial examples☆13Apr 4, 2025Updated 11 months ago
- Large language models to diffusion finetuning code☆24Jun 2, 2025Updated 9 months ago
- The Click example that I use in my tutorial articles.☆13May 23, 2018Updated 7 years ago
- ☆11Mar 13, 2023Updated 2 years ago
- Implementation of Variance Reduction Techniques in Julia☆11Sep 6, 2016Updated 9 years ago
- Vue.js wrapper over canvas manipulation library fabric.js — **Note: not quite ready for prime time**☆11Nov 27, 2016Updated 9 years ago
- Code for Max-Margin Deep Generative Models☆12Jan 1, 2015Updated 11 years ago
- ☆13Dec 3, 2022Updated 3 years ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- ☆18Jun 6, 2025Updated 9 months ago
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆13Oct 29, 2024Updated last year
- Coq集合模型论☆11Aug 18, 2022Updated 3 years ago
- Speed up secp256k1 with endomorphism☆14Dec 7, 2022Updated 3 years ago
- Automated bottleneck detection and solution orchestration☆19Feb 24, 2026Updated last week
- Pro Django中文译本☆11Jun 11, 2017Updated 8 years ago
- Pytorch routines for (Ker)nel (Mac)hines☆11Oct 10, 2025Updated 4 months ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- Shell-independent task manager.☆14Updated this week
- This network estimation procedure combines l1-regularized logistic regression with model selection based on the Extended Bayesian Informa…☆10Oct 12, 2023Updated 2 years ago
- Tone Analyzer Demo for Fresh Machine Learning #3☆11Jul 16, 2016Updated 9 years ago
- Electron-based Virtual MIDI Controller that like Novation Launch Control☆10Oct 28, 2016Updated 9 years ago
- Computation using data flow graphs for scalable machine learning☆17Feb 10, 2025Updated last year