kkiningh

rules_verilator

Bazel build rules for Verilator

synthesis-example

Example of a full DC synthesis script for a simple design

rules_verilator_old

A fork of Verilator that includes Bazel build rules

cs224n-final-project

CS224n Final Project - Quantizing the Transformer Network

gcn-benchmark

tf-attention-example

Simple example of how to do dot-product attention in TensorFlow

tf_compress

General library for compressing tensorflow models

abc

Git mirror of ABC (https://bitbucket.org/alanmi/abc/src)

bazel

a fast, scalable, multi-language and extensible build system

bazel_issue_tool_files

bazel_issue_tree_noflags

bazel_tree_issue

Bazel issue

bugfix_libcrypto_shim

Workaround for Synopsys Sentaurus compatibility with OpenSSL 1.0.0 on Ubuntu 16.04

DRAMSim2

DRAMSim2: A cycle accurate DRAM simulator

EE292A-lab2

ee364a-project

fmt

A modern formatting library

gunrock

High-Performance Graph Primitives on GPUs

homebrew-tap

This repository contains a collection of Homebrew (aka, Brew) "formulae" for Bazel

jax

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

kkiningh.github.io

Personal website

libkw

Utility library of SystemVerilog components

parallel-hashmap

A family of header-only, very fast and memory-friendly hashmap and btree containers.

rply

An attempt to port David Beazley's PLY to RPython, and give it a cooler API.

rules_bison

Bazel build rules for GNU Bison

skywater-pdk

Open source process design kit for usage with SkyWater Technology Foundry's 130nm node.

slime

A prototype sparse linear algebra accelerator

sly

Sly Lex Yacc

torch-mlir

The Torch-MLIR project aims to provide first class support from the PyTorch ecosystem to the MLIR ecosystem.

verilator

Verilator open-source SystemVerilog simulator and lint system