Stars
Get your documents ready for gen AI
RAG (Retrieval-Augmented Generation) Chatbot Examples Using PyMuPDF
OpenTitan: Open source silicon root of trust
Functional verification project for the CORE-V family of RISC-V cores.
Apollo is a reliable configuration management system suitable for microservice configuration management scenarios.
A lightweight framework for Gaussian processes and Bayesian optimization of black-box functions (C++11)
Distributed Asynchronous Hyperparameter Optimization in Python
Reinforcement Learning Algorithms Tutorial (Python) from scratch (Mar 2021)
ABC: System for Sequential Logic Synthesis and Formal Verification
Project Repo for the Simulator Independent Coverage Research
The batteries-included testing and formal verification library for Chisel-based RTL designs.
A dynamic verification library for Chisel.
A C++-based growing software system for synthesizing, optimizing, and verifying quantum circuits
Matrix Product States on NISQ quantum computers
ALSRAC: Approximate Logic Synthesis by Resubstitution with Approximate Care Set
An approximate logic synthesis tool under the maximum error constraint
☄️React Material Admin is a React template built with Material-UI
📖 A simple and easy GraphQL tutorial to get started with GraphQL.