Open source FPGA-based NIC and platform for in-network compute

Implementation of MoLeR: a generative model of molecular graphs which supports scaffold-constrained generation

Verilog PCI express components

MirageOS is a library operating system that constructs unikernels

Distributed Stockfish analysis for lichess.org

Circuit IR Compilers and Tools

create chess problems for lichess

Build Customized FPGA Implementations for Vivado

Yosys Open SYnthesis Suite

Open source FPGA-based NIC and platform for in-network compute

High-performance extensible build system for reproducible multi-language builds.

Infrastructure for Machine Learning Guided Optimization (MLGO) in LLVM.

Reinforcement learning environments for compiler and program optimization tasks

Lightning Network Daemon ⚡️

Bitcoin Core integration/staging tree

Must read research papers and links to tools and datasets that are related to using machine learning for compilers and systems optimisation

raw-feldspar with software hardware co-design

A free and strong UCI chess engine

Dopamine is a research framework for fast prototyping of reinforcement learning algorithms.

Hardcaml is an OCaml library for designing hardware.

HTML/CSS drawing in the style of an 18th-century oil painting. Hand-coded entirely in HTML & CSS.

This repository contains several applications, demonstrating the Meltdown bug.

This is the public release of the ffwd delegation system, and associated benchmarks from the SOSP'17 paper.

OCaml bindings for TensorFlow

Native cross-platform system automation

Verilog to Routing -- Open Source CAD Flow for FPGA Research

Chisel: A Modern Hardware Design Language

Modified fork of CPython's ast module that parses `# type:` comments