psksvp / espresso-ab-1.0View external linksLinks
espresso logic minimizer (https://embedded.eecs.berkeley.edu/pubs/downloads/espresso/index.htm)
☆17Oct 29, 2022Updated 3 years ago
Alternatives and similar repositories for espresso-ab-1.0
Users that are interested in espresso-ab-1.0 are comparing it to the libraries listed below
Sorting:
- A collection of tools for working with Chisel-generated hardware in SystemC☆16Jul 23, 2019Updated 6 years ago
- IPython-style interaction for Cryptol☆15Dec 5, 2016Updated 9 years ago
- ☆20Dec 13, 2019Updated 6 years ago
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆21Dec 2, 2021Updated 4 years ago
- Yet Another Toolkit for Analysis of ARX Cryptographic Algorithms☆32Jan 17, 2022Updated 4 years ago
- A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.☆168Apr 11, 2020Updated 5 years ago
- bioinformatics for peter☆11Apr 8, 2025Updated 10 months ago
- Course repo for material related to CYPLAN 255 at UC Berkeley, Spring 2024☆11May 7, 2024Updated last year
- Course Projects for CS 61B, the data structures class at UC Berkeley, Spring 2014☆10Oct 7, 2014Updated 11 years ago
- A Reproducible Untargeted Metabolomics Data Processing Pipeline☆11Mar 18, 2021Updated 4 years ago
- HDLBits-Solutions☆10May 27, 2022Updated 3 years ago
- A Python package for amino acid sequence analysis. Proforma 2.1 complicant.☆14Feb 6, 2026Updated last week
- Quickstart tutorial Prerequisites Before reading this tutorial you should know a bit of Python. If you would like to refresh your memory,…☆13Dec 14, 2021Updated 4 years ago
- Homework for STAT 205A - Berkeley☆13Dec 9, 2014Updated 11 years ago
- Unnoficial solutions (still under construction) to Nielsen and Chuang's "Quantum Computation and Quantum Information" - 10th anniversary …☆19Updated this week
- This repository contains notes and documents related to my atmospheric modeling postdoctoral work at UC Berkeley☆10Oct 31, 2015Updated 10 years ago
- Python3 version of UC Berkeley's CS 188 Pacman Capture the Flag project☆10Mar 14, 2024Updated last year
- 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
- metabCombiner R Package: Paired Untargeted Metabolomics Feature Matching & Data Concatenation☆13May 29, 2024Updated last year
- trace32 knowledge☆10Nov 9, 2022Updated 3 years ago
- File Permissions Plugin is a repository that provides a simple plugin to change file permissions directly from IntelliJ.☆10Apr 27, 2025Updated 9 months ago
- Disassembly of Legend of Zelda Ocarina of Time☆15Mar 25, 2018Updated 7 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 week
- ☆13Mar 6, 2010Updated 15 years ago
- Tools for treatment high res mass spectrum of natural organic matter samples☆11Aug 4, 2023Updated 2 years ago
- A collection of piano 88 key sound samples with their related staffs and keyboards☆13Mar 4, 2022Updated 3 years ago
- geoRge: a computational tool for stable isotope labelling detection in LC/MS-based untargeted metabolomics☆11Sep 17, 2021Updated 4 years ago
- Fully automatic skin lesion segmentation using the Berkeley wavelet transform and UNet algorithm.☆12Jun 1, 2021Updated 4 years ago
- self study java, through cs61b (http://www.cs.berkeley.edu/~jrs/61b/)☆10Jul 9, 2013Updated 12 years ago
- pano date resolver stuff☆17Dec 3, 2025Updated 2 months ago
- Deep Learning Scaling tutorial material for the Deep Learning for Science School at Berkeley Lab☆10Jul 19, 2019Updated 6 years ago
- A mobile app for controlling Pulsetto devices☆18Jan 9, 2026Updated last month
- 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
- Notes for "Introduction to Systems Programming" - 234124 (Technion)☆13Jul 3, 2022Updated 3 years ago
- "Frontier: Elite 2" renderer & audio reverse engineered. Runs on Amigas with RTG. Also comes with SDL bindings so it can be run on PC.☆46Jan 5, 2025Updated last year
- A novel incremental hierarchical clustering algorithm (KDD 22)☆10Aug 31, 2023Updated 2 years ago
- NavSec is the most comprehensive passive web vulnerability and privacy scanner. It performs real-time security analysis directly in your …☆23Sep 13, 2025Updated 5 months ago
- A Verilog Filelist parser in Rust☆11Mar 25, 2022Updated 3 years ago
- Disassembly of Star Fox for the SNES (US version 1.2)☆13Oct 26, 2020Updated 5 years ago