A verification toolchain for Rust programs

Implementation and Formal Verification of the Quicksort Algorithm

Lean 4 formalization of Rubik's cubes

Structure in Prime Gaps - Formalized

The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.

LLMs as Copilots for Theorem Proving in Lean

VS Code in the browser

Your favorite operating systems in one place. A network-based bootable operating system installer based on iPXE.

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Spin is the open source developer tool for building and running serverless applications powered by WebAssembly.

Mathematically defines of permutations of arrays and proves related theorems

The "batteries included" extended library for the Lean programming language and theorem prover

The math library of Lean 4

Definitional implementation of Cedar language and utilities for DRT

A flexible distributed key-value datastore that is optimized for caching and other realtime workloads.

Lean Subtypes that have Super powers

LaTeX code for a paper on lean's type theory

Draw perfect pressure-sensitive freehand lines.

Library for building distributed, real-time collaborative web applications

Printable (A4) overview of tactics in Lean 4 for beginners

for downloading HLS streams as a TLS video

The OpenTF Manifesto expresses concern over HashiCorp's switch of the Terraform license from open-source to the Business Source License (BSL) and calls for the tool's return to a truly open-source …

Rocket League: Freestyle Training BakkesMod Plugin. Configure automatic air roll with randomization

Spreadsheet with AI, Code, Connections

Server to host lean games.

Like those other ds4tools, but sexier

Rust SDK for writing BakkesMod plugins

balena + Wake on Lan

The Free Software Media System - Server Backend & API