Zihao Li's repositories

compiler-paper-reading

A group of students who are interested in Compilers, and they want to improve themselves together.

al-folio

A beautiful, simple, clean, and responsive Jekyll theme for academics

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

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

awesome-tensor-compilers

A list of awesome compiler projects and papers for tensor computation and deep learning.

Stargazers:0Issues:0Issues:0

bril

an educational compiler intermediate representation

Language:RustLicense:MITStargazers:0Issues:0Issues:0

carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

checkmate

Training neural networks in TensorFlow 2.0 with 5x less memory

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

circt

Circuit IR Compilers and Tools

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

circt-hls

CIRCT-based HLS compilation flows, debugging, and cosimulation tools.

Language:C++Stargazers:0Issues:0Issues:0

code2vec

TensorFlow code for the neural network presented in the paper: "code2vec: Learning Distributed Representations of Code"

License:MITStargazers:0Issues:0Issues:0

CSrankings

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

Discrete-Optimization

Discrete Optimization Algorithm assignment

Language:JavaLicense:GPL-3.0Stargazers:0Issues:1Issues:0

easyloggingpp

Single header C++ logging library. It is extremely powerful, extendable, light-weight, fast performing, thread and type safe and consists of many built-in features. It provides ability to write logs in your own customized format. It also provide support for logging your classes, third-party libraries, STL and third-party containers etc.

License:NOASSERTIONStargazers:0Issues:0Issues:0

fmt

A modern formatting library

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

HowToLiveLonger

程序员延寿指南 | A programmer's guide to live longer

License:UnlicenseStargazers:0Issues:0Issues:0

ieee_conf_crawler

Crawl paper's metadata from IEEE conference. Use DBLP's Conference main page as starting point. Follow DOI URL to enter each paper's page. Dump metadata as json.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

images

Docker images for the CIRCT project

Language:DockerfileStargazers:0Issues:0Issues:0

json

JSON for Modern C++

Language:C++License:MITStargazers:0Issues:0Issues:0

latexcv

:necktie: A collection of cv and resume templates written in LaTeX. Leave an issue if your language is not supported!

Language:TeXLicense:MITStargazers:0Issues:0Issues:0

OpenSTA

OpenSTA engine

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0

opentuner

An extensible framework for program autotuning

License:MITStargazers:0Issues:0Issues:0

Polygeist

C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!

License:NOASSERTIONStargazers:0Issues:0Issues:0

program-dependence-graph

A multithreading construction of program dependence graph

Stargazers:0Issues:0Issues:0
Language:C++License:MITStargazers:0Issues:0Issues:0

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

scalehls

A scalable High-Level Synthesis framework on MLIR

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

sort-google-scholar

Sorting Google Scholar search results based on the number of citations

Stargazers:0Issues:0Issues:0

tensorflow

An Open Source Machine Learning Framework for Everyone

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

xls

XLS: Accelerated HW Synthesis

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

z3

The Z3 Theorem Prover

Language:C++Stargazers:0Issues:0Issues:0