A library for building fast, reliable and evolvable network services.

Interface with the rustc compiler for the purpose of program verification

Algebraic data type specification inference

An awesome list of e-graph resources

A list of tutorials, paper, talks, and open-source projects for emerging compiler and architecture

Refreshing automation for inductive equational proofs using e-graphs

Type-erased Serialize, Serializer and Deserializer traits

Serde serializable and deserializable trait objects

Collection of advice for prospective and current PhD students

Verified Rust for low-level systems code

A GitHub Action for downloading and installing LLVM and Clang binaries.

Tool to generate test-cases for regular expression engines

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

An incremental parsing system for programming tools

A memory safe implementation of sudo and su.

✨ Magical shell history

Publish Rust crates from CI with a Release PR.

OCaml library for partially ordered maps

Cargo subcommand for configuring Cargo projects for best performance.

Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.

One who searches underneath the bottom of consciousness: Inception(2010)

⏰ PL conference deadline countdowns

A minimalistic and high-performance SAT solver

Pattern matching and exhaustiveness checking algorithms implemented in Rust

A technical explainer by @kognise of how your computer runs programs, from start to finish.

Use Tree Sitter to parse your own languages in Rust

OCaml grammar for tree-sitter