a GRId LOgic Puzzle Solver library

Explainable Constraint Solving - A Hands-On Tutorial

A guidance language for controlling large language models.

We will build Tetris using logic design concepts (Hardware threads, 18-240 Lab 3b) on an Altera FPGA.

Two SMT-based Fillomino solvers

DSL and compiler framework for automated finite-differences and stencil computation

Pono: A flexible and extensible SMT-based model checker

Some JavaScript games

The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.

RISC-V Assembler

Experiments with adding session types for hardware using magma

Python package for numerical derivatives and partial differential equations in any number of dimensions.

FlashG About Units of Measurement

Hardware generator debugger

Intermediate Language (IL) for Hardware Accelerator Generators

XLS: Accelerated HW Synthesis

Berkeley's Spatial Array Generator

Circuit IR Compilers and Tools

"Multi-Level Intermediate Representation" Compiler Infrastructure

Build Customized FPGA Implementations for Vivado

Sail architecture definition language

Library of approximate arithmetic circuits

C++ logic network library

👾 Design ∪ Hardware

A Just-In-Time Compiler for Verilog from VMware Research

C++ parsing library for simple formats used in logic synthesis and formal verification