The official SuiteSparse library: a suite of sparse matrix algorithms authored or co-authored by Tim Davis, Texas A&M University.

Evaluating the performance of Veir's verified backend against LLVM.

Files associated with the course Interactive Theorem Proving at LMU SoSe 2026

Test suite for C/C++/Fortran compilers developed by Fujitsu

Agentic review of Linux Kernel code changes

An LLVM IR dataset for data-driven compiler optimization research

Verified Intermediate Representation

pySMT: A library for SMT formulae manipulation and solving

Zork I (Microcomputer Version) by Infocom

Zork II (Microcomputer Version) (Infocom)

Zork III (Infocom)

The Vienna Verification Toolkit

Regular expression manipulation library

A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point

An LLVM IR dataset for data-driven compiler optimization research

A single-header, zero-allocation image filter library in C

A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation

A new lightweight, hybrid routing mesh protocol for packet radios

Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)

A digital logic designer and circuit simulator.

language-agnostic program reducer.

A command-line benchmarking tool

Get up and running with Kimi-K2.6, GLM-5.2, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.

A modern formatting library

GPU-accelerated compiler