fyquah's starred repositories

bitcoin

Bitcoin Core integration/staging tree

Stockfish

A free and strong UCI chess engine

Language:C++License:GPL-3.0Stargazers:11537Issues:248Issues:953

dopamine

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

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:10548Issues:425Issues:169

purecss-francine

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

lnd

Lightning Network Daemon ⚡️

meltdown

This repository contains several applications, demonstrating the Meltdown bug.

Language:CLicense:ZlibStargazers:4113Issues:152Issues:0

chisel

Chisel: A Modern Hardware Design Language

Language:ScalaLicense:Apache-2.0Stargazers:3968Issues:150Issues:1057

yosys

Yosys Open SYnthesis Suite

mirage

MirageOS is a library operating system that constructs unikernels

Language:OCamlLicense:ISCStargazers:2543Issues:83Issues:494

please

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

Language:GoLicense:Apache-2.0Stargazers:2461Issues:44Issues:810

corundum

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

Language:VerilogLicense:NOASSERTIONStargazers:1694Issues:89Issues:169

circt

Circuit IR Compilers and Tools

Language:C++License:NOASSERTIONStargazers:1665Issues:256Issues:2091

awesome-machine-learning-in-compilers

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

License:CC0-1.0Stargazers:1447Issues:71Issues:0

verilog-pcie

Verilog PCI express components

Language:VerilogLicense:MITStargazers:1125Issues:50Issues:51

vtr-verilog-to-routing

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

Language:C++License:NOASSERTIONStargazers:1008Issues:67Issues:1019

CompilerGym

Reinforcement learning environments for compiler and program optimization tasks

Language:PythonLicense:MITStargazers:909Issues:34Issues:287

fishnet

Distributed Stockfish analysis for lichess.org

Language:RustLicense:GPL-3.0Stargazers:730Issues:31Issues:169

hardcaml

Hardcaml is an OCaml library for designing hardware.

Language:OCamlLicense:MITStargazers:666Issues:32Issues:10

ml-compiler-opt

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

Language:PythonLicense:Apache-2.0Stargazers:629Issues:22Issues:84

RapidWright

Build Customized FPGA Implementations for Vivado

Language:JavaLicense:NOASSERTIONStargazers:293Issues:28Issues:248

tensorflow-ocaml

OCaml bindings for TensorFlow

Language:OCamlLicense:Apache-2.0Stargazers:283Issues:25Issues:21

molecule-generation

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

Language:PythonLicense:MITStargazers:268Issues:11Issues:39

typed_ast

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

Language:CLicense:NOASSERTIONStargazers:228Issues:20Issues:87

robot

Native cross-platform system automation

Language:C++License:ZlibStargazers:212Issues:22Issues:94
Language:TeXLicense:Apache-2.0Stargazers:177Issues:68Issues:670

corundum

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

Language:VerilogLicense:NOASSERTIONStargazers:176Issues:15Issues:0

ffwd

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

problem-creator

create chess problems for lichess

Language:PHPLicense:MITStargazers:51Issues:14Issues:2
Language:OCamlLicense:MITStargazers:34Issues:2Issues:0

co-feldspar

raw-feldspar with software hardware co-design

Language:HaskellLicense:BSD-3-ClauseStargazers:7Issues:3Issues:1