fyquah's starred repositories

bitcoin

Bitcoin Core integration/staging tree

Stockfish

A free and strong UCI chess engine

Language:C++License:GPL-3.0Stargazers:10599Issues:245Issues:915

dopamine

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

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:10377Issues:428Issues:165

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:4098Issues:152Issues:0

chisel

Chisel: A Modern Hardware Design Language

Language:ScalaLicense:Apache-2.0Stargazers:3746Issues:148Issues:998

yosys

Yosys Open SYnthesis Suite

mirage

MirageOS is a library operating system that constructs unikernels

Language:OCamlLicense:ISCStargazers:2439Issues:84Issues:479

please

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

Language:GoLicense:Apache-2.0Stargazers:2416Issues:28Issues:786

circt

Circuit IR Compilers and Tools

Language:C++License:NOASSERTIONStargazers:1537Issues:253Issues:1912

corundum

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

Language:VerilogLicense:NOASSERTIONStargazers:1489Issues:86Issues:148

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:1344Issues:65Issues:0

vtr-verilog-to-routing

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

Language:C++License:NOASSERTIONStargazers:962Issues:68Issues:949

verilog-pcie

Verilog PCI express components

Language:VerilogLicense:MITStargazers:959Issues:50Issues:45

CompilerGym

Reinforcement learning environments for compiler and program optimization tasks

Language:PythonLicense:MITStargazers:867Issues:34Issues:284

fishnet

Distributed Stockfish analysis for lichess.org

Language:RustLicense:GPL-3.0Stargazers:696Issues:31Issues:167

hardcaml

Hardcaml is an OCaml library for designing hardware.

Language:OCamlLicense:MITStargazers:616Issues:31Issues:9

ml-compiler-opt

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

Language:PythonLicense:Apache-2.0Stargazers:586Issues:22Issues:77

tensorflow-ocaml

OCaml bindings for TensorFlow

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

RapidWright

Build Customized FPGA Implementations for Vivado

Language:JavaLicense:NOASSERTIONStargazers:271Issues:26Issues:239

molecule-generation

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

Language:PythonLicense:MITStargazers:240Issues:11Issues:36

typed_ast

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

Language:CLicense:NOASSERTIONStargazers:226Issues:20Issues:87

robot

Native cross-platform system automation

Language:C++License:ZlibStargazers:208Issues:22Issues:94
Language:TeXLicense:Apache-2.0Stargazers:170Issues:67Issues:645

corundum

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

Language:VerilogLicense:NOASSERTIONStargazers:156Issues: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:0Issues:0