ACT community resources

A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit issues and PRs here.

A collection of formalized statements of conjectures in Lean.

📋 React Hooks for form state management and validation (Web + React Native)

Storybook is the industry standard workshop for building, documenting, and testing UI components in isolation

Rust bindings for the Z3 solver.

The P programming language.

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

Graph data structure library for Rust.

🏭 The most lightweight, customizable React markdown component.

A utility-first CSS framework for rapid UI development.

C-Reduce, a C and C++ program reducer

A fast, small, safe, gradually typed embeddable scripting language derived from Lua

Nix, the purely functional package manager

An advanced SAT solver

A library for discrete-time Markov chains analysis.

Huggle is an anti-vandalism tool for use on MediaWiki based projects

🌿 Fast streaming XML parser written in C99 with >90% test coverage; moved from SourceForge to GitHub

High-performance model counter

Approximate Model Counter

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

Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)

Catalog Of Math Problems Formalized In Lean

A markup-based typesetting system that is powerful and easy to learn.

Find selfmates in PGN chess games

The Z3 Theorem Prover

A LaTeX template for a single-sheet zine.

Code playground for GNOME 🛠️