Protocol Buffers - Google's data interchange format

SGLang is a high-performance serving framework for large language models and multimodal models.

Cap'n Proto serialization/RPC system - core tools and C++ library

Model-based design and verification for robotics.

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

A collection of formalized statements of conjectures in Lean.

The Z3 Theorem Prover

Support for Reviewable

A client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.

A Flexible and Efficient Proof Checker for SMT Solvers

Catalog Of Math Problems Formalized In Lean

Bear is a tool that generates a compilation database for clang tooling.

Emacs Plus formulae for the Homebrew package manager

a lightweight header-only C++17 library of numerical optimization methods for (un-)constrained nonlinear functions and expression templates

Parsing Expression Grammar Template Library

Communication between Coq and SAT/SMT solvers

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

A versatile 2d function plotter

Interprets/evaluates mathematical expressions using interval arithmetic

A Machine-to-Machine Interaction System for Lean 4.

JSON for Modern C++

An Emacs configuration bundle with batteries included

White-box automation for Lean 4

A single file C++ header-only PEG (Parsing Expression Grammars) library

Coz: Causal Profiling

JavaScript Style Guide

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

If you build software, keep a changelog.