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.5, GLM-5, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.

A modern formatting library

GPU-accelerated compiler

A superoptimizer for LLVM IR

Code for enumeration from a CFG

Pair your compilers up at The ABI Cafe!

A solver of loud framework, for synthesizing strongest over-approximation and weakest under-approximation

Libation: Liberate your Library

Digital logic design tool and simulator