g1: Using Llama-3.1 70b on Groq to create o1-like reasoning chains

🌐 The Web OS! Free, Open-Source, and Self-Hostable.

This is the stress-ng upstream project git repository. stress-ng will stress test a computer system in various selectable ways. It was designed to exercise various physical subsystems of a computer…

A tool for synthesizing Verilog programs

NumPy & SciPy for GPU

HAL – The Hardware Analyzer

DSPy: The framework for programming—not prompting—foundation models

Fast Symbolic Repair of Hardware Design Code

Raptor end-to-end FPGA Compiler and GUI

CUDA on AMD GPUs

pySMT: A library for SMT formulae manipulation and solving

An experimental open-source attempt to make GPT-4 fully autonomous.

A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.

A minimalistic and high-performance SAT solver

for binding

Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)

YosysHQ SVA AXI Properties