XeLaTeX/LuaLaTeX package for using unicode/OpenType maths fonts

minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using fancyvrb.

PRIMA is a package for solving general nonlinear optimization problems without using derivatives. It provides the reference implementation for Powell's derivative-free optimization methods, i.e., C…

Splitting Conic Solver

The Operator Splitting QP Solver

The glucose SAT solver

CaDiCaL SAT Solver

KLEE Symbolic Execution Engine

C Bounded Model Checker

Application Binary Interface for the Arm® Architecture

Starlark Language

Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR

Build system, successor to Buck

pySMT: A library for SMT formulae manipulation and solving

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

Automated Analysis Framework for Simulink/Stateflow models.

An open source graphics editor for 2025: comprehensive 2D content creation tool suite for graphic design, digital art, and interactive real-time motion graphics — featuring node-based procedural ed…

OSINT from your favorite services in a friendly terminal user interface - integrations for Virustotal, Shodan, and Censys

Woboq CodeBrowser

Userspace eBPF runtime for Observability, Network, GPU & General Extensions Framework

Linear optimization software

High-performance automatic differentiation of LLVM and MLIR.

The cling C++ interpreter

KeY Theorem Prover for Deductive Java Verification

Kani Rust Verifier

A Low Barrier Proof Assistant

JPEG XL image format reference implementation

A collection of Beamer themes from the community