Generate a fully-automated Ubuntu ISO for unattended installations.

Combustion engine simulation game that generates realistic audio.

The user home repository for the Mathematics in Lean tutorial.

Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learning etc.

An implementation of a first-order auto tactic for Agda, in Agda.

A dynamic data-driven document development environment (DDDDDE)

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

A fast and simple automata library

The Z3-Noodler String Solver

Lean 4 port of Iris, a higher-order concurrent separation logic framework

A fuzzing framework for SMT solvers

The Stan Math Library is a C++ template library for automatic differentiation of any order using forward, reverse, and mixed modes. It includes a range of built-in functions for probabilistic model…

Scientific computing in Lean 4

Recursive directory traversals in Haskell

Memoization monad transformer

Self-hosted GitHub Actions cache server implementation. Compatible with official 'actions/cache' action

Kubernetes controller for GitHub Actions self-hosted runners

yq is a portable command-line YAML, JSON, XML, CSV, TOML and properties processor

Solid Technical Reports

The reference implementation of the Linux FUSE (Filesystem in Userspace) interface

A process for automating Docker container base image updates.

This repo contains samples that demonstrate the API used in Windows classic desktop applications.

Solid specification draft 0.7.0

Monte Carlo tree search in JAX

HTML5 Wayland compositor 🌱

The Z3 Theorem Prover

Agda bindings to SMT-LIB2 compatible solvers.

Lean theorem proving interface which feels like pen-and-paper proofs.

Helper toolkit for creating your own Lean 4 UserWidgets