OpenTitan: Open source silicon root of trust

ABC: System for Sequential Logic Synthesis and Formal Verification

Automatic generation of architecture-level models for hardware from its RTL design.

Deep and online learning with spiking neural networks in Python

Magnificent app which corrects your previous console command.

A fork of the Kissat SAT solver with additional features. Supports incremental solving.

Allo: A Programming Model for Composable Accelerator Design

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …

A minimalistic and high-performance SAT solver

Tensors and Dynamic neural networks in Python with strong GPU acceleration

21 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/

auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs

The glucose SAT solver

Simple Theorem Prover, an efficient SMT solver for bitvectors

Chisel RISC-V Vector 1.0 Implementation

A list of papers, docs, codes about model quantization. This repo is aimed to provide the info for model quantization research, we are continuously improving the project. Welcome to PR the works (p…

Translate Chisel hardware design code to Scala simulation code.

本项目旨在分享大模型相关技术原理以及实战经验（大模型工程化、大模型应用落地）

OSX (macOS) inside a Docker container.

A circuit toolkit

Hop-Wise Graph Attention for Scalable and Generalizable Learning on Circuits

CaDiCaL SAT Solver

[AAAI-23 Oral] Official implementation of the paper "Are Transformers Effective for Time Series Forecasting?"

⏰ Collaboratively track deadlines of conferences recommended by CCF (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~

🌈一个跨平台的划词翻译和OCR软件 | A cross-platform software for text translation and recognition.

MapTune: Advancing ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning Mingju Liu, Daniel Robinson, Yingjie Li, Cunxi Yu IEEE/ACM International Conference On Computer Aided Des…