Codebase of https://arxiv.org/abs/2410.14923

Implementation of our NeurIPS 2021 paper "A Bi-Level Framework for Learning to Solve Combinatorial Optimization on Graphs".

Open-source high-performance RISC-V processor

A tree-sitter based AST difftool to get meaningful semantic diffs

An implementation of differential dataflow using timely dataflow on Rust.

An implementation of differential dataflow using timely dataflow on Rust.

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…

Slides and other materials from CppCon 2020

JReduce is a tool to reduce Java ByteCode

Empowering everyone to build reliable and efficient software.

Winograd minimal convolution algorithm generator for convolutional neural networks.

Simple Microbenchmarks

WinSCP Password Extractor/Decrypter/Revealer written in go language

Just-In-Time Compiler for the Lua Programming language. Fork of LuaJIT to continue development. This project does not have an active maintainer, see https://twitter.com/siddhesh_p/status/1308594269…

A huge list of alternatives to Google products. Privacy tips, tricks, and links.

An efficient database query optimizer for large complex join queries

a (WIP) Rust frontend for gcc / a gcc backend for rustc

SG16 overview and general information

A na(t)ive proof-of-concept implementation of Apache Spark in C++.

A collection of out-of-tree LLVM passes for teaching and learning

Distributed AI with the Ray Framework Course

unfork(2) is the inverse of fork(2). sort of.

Streaming System 相关的论文读物

A modular implementation of timely dataflow in Rust

A new arguably faster implementation of Apache Spark from scratch in Rust

DALS: Delay-Driven Approximate Logic Synthesis

docs.rs as a publishing platform?

A plugin for Clang compiler

Slides and other materials from CppCon 2019