mikeurbach

egg-netlist-synthesizer

Using e-graphs to synthesize netlists from boolean logic.

hot-chips-2022-pytorch-circt-hls-demo

Demo of PyTorch to Verilog with Torch-MLIR, MLIR, and CIRCT for Hot Chips 2022.

kernel-racket

kafkex

calyx

Intermediate Language (IL) for Hardware Accelerator Generators

charts

Curated applications for Kubernetes

chisel3

Chisel 3: A Modern Hardware Design Language

circt

Circuit IR Compilers and Tools

circt-www

CIRCT website

client_ruby

Prometheus instrumentation library for Ruby applications

compiler-explorer

Run compilers interactively from your web browser and interact with the assembly

firrtl

Flexible Intermediate Representation for RTL

firrtl-spec

The specification for the FIRRTL language

hgdb-debugger

kafka

Mirror of Apache Kafka

kafka_ex

Kafka client library for Elixir

llvm

Staging area for circt-specific updates for LLVM/MLIR

melior

The rustic MLIR bindings in Rust

mikeurbach.github.io

mlir-sys

Rust bindings to the MLIR C API.

mongo

The Mongo Database

opendigitaltwins-dtdl

IoT Plug And Play

Polygeist

pyparsing

Python library for creating PEG parsers

ruby-kafka

A Ruby client library for Apache Kafka 0.9

tensorflow

truffle-events

A simple utility library to form a transaction for deep event testing

utils

wfc_python

An implementation of mxgmn/WaveFunctionCollapse in Python

zk

A High-Level wrapper for Apache's Zookeeper