Kevin Kiningham's repositories
jax
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
rules_verilator
Bazel build rules for Verilator
cs224n-final-project
CS224n Final Project - Quantizing the Transformer Network
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
rules_bison
Bazel build rules for GNU Bison
parallel-hashmap
A family of header-only, very fast and memory-friendly hashmap and btree containers.
bazel
a fast, scalable, multi-language and extensible build system
skywater-pdk
Open source process design kit for usage with SkyWater Technology Foundry's 130nm node.
libkw
Utility library of SystemVerilog components
gunrock
High-Performance Graph Primitives on GPUs
rules_verilator_old
A fork of Verilator that includes Bazel build rules
kkiningh.github.io
Personal website
synthesis-example
Example of a full DC synthesis script for a simple design
bazel_tree_issue
Bazel issue
homebrew-tap
This repository contains a collection of Homebrew (aka, Brew) "formulae" for Bazel
DRAMSim2
DRAMSim2: A cycle accurate DRAM simulator
fmt
A modern formatting library
rply
An attempt to port David Beazley's PLY to RPython, and give it a cooler API.
slime
A prototype sparse linear algebra accelerator
tf-attention-example
Simple example of how to do dot-product attention in TensorFlow
sly
Sly Lex Yacc
tf_compress
General library for compressing tensorflow models
bugfix_libcrypto_shim
Workaround for Synopsys Sentaurus compatibility with OpenSSL 1.0.0 on Ubuntu 16.04
abc
Git mirror of ABC (https://bitbucket.org/alanmi/abc/src)