Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…

language-agnostic program reducer.

Fast C++ logging library.

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

The code coverage tool for Python

WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)

Csmith, a random generator of C programs

Optimizer and compiler/toolchain library for WebAssembly

The Ruby Programming Language

Cranelift based backend for rustc

A Survey on Large Language Models for Software Engineering

Open standard for machine learning interoperability

Efficient and general syntactical decoding for Large Language Models

A static analyzer for Java, C, C++, and Objective-C

This is a fun, new monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal.

Animation engine for explanatory math videos

egg is a flexible, high-performance e-graph library

Make Zotero effective for us LaTeX holdouts

The CompCert formally-verified C compiler

OCaml graph library

The HOL Light theorem prover

an educational compiler intermediate representation

Alive: Automatic LLVM's Instcombine Verifier

Signature-based Static Analysis for Detecting Recurring Vulnerabilities

Neovim config for the lazy

ripgrep recursively searches directories for a regex pattern while respecting your gitignore