Help people understand the ZKP mooc course of Berkeley
☆14Feb 10, 2023Updated 3 years ago
Alternatives and similar repositories for Berkeley-Zero-Knowledge-Proof-Mooc-Notes-Spring-2023
Users that are interested in Berkeley-Zero-Knowledge-Proof-Mooc-Notes-Spring-2023 are comparing it to the libraries listed below
Sorting:
- Automatic generation of architecture-level models for hardware from its RTL design.☆14Apr 12, 2023Updated 2 years ago
- Logic Synthesis System from UC Berkeley (Unofficial Distribution)☆15Jun 4, 2019Updated 6 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- BTOR2 MLIR project☆26Jan 17, 2024Updated 2 years ago
- Collection for submission (Hardware Model Checking Benchmark)☆13Nov 9, 2025Updated 3 months ago
- ☆13Jan 20, 2023Updated 3 years ago
- ☆14Jan 3, 2018Updated 8 years ago
- A fork of the Kissat SAT solver with additional features. Supports incremental solving.☆17Aug 13, 2022Updated 3 years ago
- A Python/C++ implementation of Quine McCluskey(Tabulation) method.☆12Aug 31, 2018Updated 7 years ago
- ☆19Dec 21, 2020Updated 5 years ago
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Jun 8, 2020Updated 5 years ago
- AMulet 2. - A better AIG Multiplier Examination Tool☆26Dec 23, 2025Updated 2 months ago
- bioinformatics for peter☆11Apr 8, 2025Updated 10 months ago
- Anki decks for Technion courses☆13Apr 26, 2024Updated last year
- PyTorch implementation of NeuroSAT☆28May 21, 2023Updated 2 years ago
- Course repo for material related to CYPLAN 255 at UC Berkeley, Spring 2024☆11May 7, 2024Updated last year
- Metabolomics And Dereplication By Two-dimensional Experiments - MADByTE NMR Metabolomics Platform☆12Jul 23, 2025Updated 7 months ago
- Annotating Slack Directly on Your Verilog: Fine-Grained RTL Timing Evaluation for Early Optimization☆42May 29, 2025Updated 9 months ago
- Quickstart tutorial Prerequisites Before reading this tutorial you should know a bit of Python. If you would like to refresh your memory,…☆14Dec 14, 2021Updated 4 years ago
- Homework for STAT 205A - Berkeley☆13Dec 9, 2014Updated 11 years ago
- Course Projects for CS 61B, the data structures class at UC Berkeley, Spring 2014☆10Oct 7, 2014Updated 11 years ago
- Converting Boolean expressions to CMOS Circuits☆11Oct 6, 2020Updated 5 years ago
- A Reproducible Untargeted Metabolomics Data Processing Pipeline☆11Mar 18, 2021Updated 4 years ago
- A Python package for amino acid sequence analysis. Proforma 2.1 complicant.☆14Feb 6, 2026Updated last month
- ☆44May 18, 2024Updated last year
- Deep Learning Scaling tutorial material for the Deep Learning for Science School at Berkeley Lab☆10Jul 19, 2019Updated 6 years ago
- Notes for "Introduction to Systems Programming" - 234124 (Technion)☆13Jul 3, 2022Updated 3 years ago
- Python3 version of UC Berkeley's CS 188 Pacman Capture the Flag project☆10Mar 14, 2024Updated last year
- self study java, through cs61b (http://www.cs.berkeley.edu/~jrs/61b/)☆10Jul 9, 2013Updated 12 years ago
- Tools for treatment high res mass spectrum of natural organic matter samples☆11Aug 4, 2023Updated 2 years ago
- File Permissions Plugin is a repository that provides a simple plugin to change file permissions directly from IntelliJ.☆10Apr 27, 2025Updated 10 months ago
- metabCombiner R Package: Paired Untargeted Metabolomics Feature Matching & Data Concatenation☆13May 29, 2024Updated last year
- Fully automatic skin lesion segmentation using the Berkeley wavelet transform and UNet algorithm.☆12Jun 1, 2021Updated 4 years ago
- geoRge: a computational tool for stable isotope labelling detection in LC/MS-based untargeted metabolomics☆11Sep 17, 2021Updated 4 years ago
- This is the repo for CROssBARv2 Knowledge Graph data. CROssBARv2 is a heterogeneous general-purpose biomedical KG-based system.☆11Feb 4, 2026Updated last month
- Template for the CryCollege library.☆12Jan 6, 2024Updated 2 years ago
- A tool for checking the contract satisfaction for hardware designs☆12Nov 4, 2025Updated 4 months ago
- The OpenCV matchTemplate primitive for gpu has been adapted in order to enable calculations on 32-bit floating-point raw data.☆10Feb 11, 2018Updated 8 years ago
- CSC 541 Assignment 4 B-Trees Introduction The goals of this assignment are two-fold: To introduce you to searching data on disk using B…☆11May 10, 2015Updated 10 years ago