solver for the reachability modulo theories problem

Memory Manager For Small(ish) Microprocessors

Software model checking via exists-forall solving

Automated Reasoning Infrastructure & Applications

A program analysis, verification, and optimization framework

A language for constraint-guided and efficient LLM programming.

LibAFLGo: Evaluating and Advancing Directed Greybox Fuzzing

Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.

The math library of Lean 4

Code2Inv: Learning Loop Invariants for Program Verification

This is a public version of LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision

Facilitating high-level interactions between Wasm modules and JavaScript

🎞️ flim - Filmic Color Transform

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

Apron Numerical Abstract Domain Library

ELINA: ETH LIbrary for Numerical Analysis

Library for Decision Diagrams over Linear Arithmetic

PPLite: convex polyhedra library for Abstract Interpretation

A Super-Lightweight Annotation Tool for Experts: Label text in a terminal with just Python

Simple, single-file, dependency-free GDB stub that can be easily dropped in to your project.

🤖 Just a command runner

Open source annotation tool for machine learning practitioners.

The programming language for agentic software. Build multi-agent systems with streaming, memory, governance, and request isolation.

A neurosymbolic framework for vulnerability detection in code

An extremely fast Python type checker and language server, written in Rust.

Design of the Dart language

mcp-language-server gives MCP enabled clients access semantic tools like get definition, references, rename, and diagnostics.

A narrative-focused agent-based settlement simulation framework.