Amocy-Wang

gitignore

A collection of useful .gitignore templates

terminal

The new Windows Terminal and the original Windows console host, all in the same place!

folly

An open-source C++ library developed and used at Facebook.

Detectron

FAIR's research platform for object detection research, implementing popular algorithms like Mask R-CNN and RetinaNet.

radare2

UNIX-like reverse engineering framework and command-line toolset

onnx

Open standard for machine learning interoperability

GNNPapers

Must-read papers on graph neural networks (GNN)

spinningup

An educational resource to help anyone learn deep reinforcement learning.

libvips

A fast image processing library with low memory needs.

gcc

algorithms

Bug-tracking for Jeff's algorithms book, notes, etc.

interpret

Fit interpretable models. Explain blackbox machine learning.

Practical_RL

A course in reinforcement learning in the wild

research-method

论文写作与资料分享

anonymous_github

Anonymous Github is a proxy server to support anonymous browsing of Github repositories for open-science code and data.

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

awesome-symbolic-execution

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

fp-jargon-zh

函数式编程术语及示例。本项目译自 https://github.com/hemanth/functional-programming-jargon

taco

The Tensor Algebra Compiler (taco) computes sparse tensor expressions on CPUs and GPUs

csmith

Csmith, a random generator of C programs

halfempty

A fast, parallel test case minimization tool.

Hands-On-Reinforcement-Learning-With-Python

Master Reinforcement and Deep Reinforcement Learning using OpenAI Gym and TensorFlow

defects4j

A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research

BayesianDeepLearning-Survey

Bayesian Deep Learning: A Survey

Deep-Reinforcement-Learning-With-Python

Master classic RL, deep RL, distributional RL, inverse RL, and more using OpenAI Gym and TensorFlow with extensive Math

c-semantics

Semantics of C in K

EMNLP-2019-Papers

Statistics and Accepted paper list with arXiv link of EMNLP-IJCNLP 2019

chisel

A System for Debloating C/C++ Programs

racr

Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.

antlr2pnf

ANTLR4 to Perses Normal Form converter for technique described in "Perses: Syntax-Guided Program Reduction"