dobios

Amelia Dobis's starred repositories

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Language:LLVMNOASSERTION27342 587 73424

circt

Circuit IR Compilers and Tools

Language:C++NOASSERTION1595 255 2013

egg

egg is a flexible, high-performance e-graph library

Language:RustMIT1302 25 132

chisel-book

Digital Design with Chisel

Language:TeX730 35 18

firrtl

Flexible Intermediate Representation for RTL

Language:ScalaApache-2.0711 61 660

calyx

Intermediate Language (IL) for Hardware Accelerator Generators

Language:RustMIT467 17 797

pymtl3

Pymtl 3 (Mamba), an open-source Python-based hardware generation, simulation, and verification framework

Language:PythonBSD-3-Clause364 19 67

boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

Language:SMTNOASSERTION330 14 156

magma

magma circuits

Language:PythonNOASSERTION239 18 489

filament

Fearless hardware design

Language:VerilogMIT134 7 178

fpga-tidbits

Chisel components for FPGA projects

Language:VerilogBSD-2-Clause112 10 2

rtl-repair

Fast Symbolic Repair of Hardware Design Code

Language:Python16 40

simulator-independent-coverage

Project Repo for the Simulator Independent Coverage Research

Language:C++16 40

btor2mlir

BTOR2 MLIR project

Language:C++13 5 4

comp-gen

Automatically generate a compiler using equality saturation

Language:RustMIT13 40

risc-v-lab

Lab material for the three week course on builiding a RISC-V microprocessor

Language:Assembly10 3 1

baa

BitVector and Array Arithmetic library

Language:RustBSD-3-Clause6 10

btor2-opt

Very basic btor2 parser, circuit miter, and code optimizer

Language:PythonGPL-3.05 1 1

patron

work in progress, playing around with btor2 in rust

Language:RustBSD-3-Clause5 3 2

fpga-tidbits

Chisel components for FPGA projects

Language:VerilogBSD-2-Clause5 1 6

calyx-lsp

Language Server Implementation for Calyx

Language:Rust4 40

chisel-sequences

sequence prototype

Language:ScalaBSD-2-Clause4 2 1

Hammered

3D Puzzle-Adventure Game, based around the use of a magical flying hammer to smash through island-based puzzles.

Language:C#NOASSERTION3 10

NewGame

Repository for our cosy detective-style rpg.

Language:C#GPL-3.0300

SURE_PoC

Language:GDScript2 20

explore-cocotb

Play around ith coctb and pyuvm

Language:Python2 20

SURE_WP3

Repository for the sustainable development tycoon game, being developped under the SURE project.

Language:C#GPL-3.02 1 86

emixa

Error Modeling of IneXact Arithmetic (EMIXA)

Language:PythonMIT100

wapco

Source code to reproduce results from our papers on verification of approximate hardware designs.

Language:ScalaMIT1 20

chisel

Chisel: A Modern Hardware Design Language

Language:ScalaApache-2.01 20