📮 Untangle your GitHub Notifications

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

Open deep learning compiler stack for cpu, gpu and specialized accelerators

A retargetable MLIR-based machine learning compiler and runtime toolkit.

Minimal implementation of the QUIC protocol

Apple TV Aerial Screensaver for Mac

Lean Theorem Prover

Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for the Lean 4 language.

Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

Create book from markdown files. Like Gitbook but implemented in Rust

An enhanced unification algorithm for Coq

LLVM tutorial in Rust language

Test the downstream impact of Rust crate changes before publishing

Mirror of GNU Emacs

A small macro for defining lazy evaluated static variables in Rust.

Backtraces in Rust

Debug RefCell which keeps track of stack traces in debug mode

A future & stream abstraction for Rust

Automated property based testing for Rust (with shrinking).

Serialization framework for Rust

The missing batteries of Rust

The Rust package registry

An open IDE for web and native mobile development, built on top of Atom

LLVM wrappers for Rust

A TextMate bundle for the Lean language

Distributed reliable key-value store for the most critical data of a distributed system

The Z3 Theorem Prover

Metal I/O library for Rust.

Type safe abstract binding trees for Haskell, using Vinyl

An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: https://github.com/redprl/sml-redprl]