dwrensha

fuzz-rustc

setup for fuzzing the Rust compiler

compfiles

Catalog Of Math Problems Formalized In Lean

lean4-maze

maze game encoded in Lean 4 syntax

acronymy-assistant

interactive backronym composition tool

sandstorm-rawapi-example-rust

Example Sandstorm app using only the raw Cap'n Proto API, written in Rust.

wordpress-sandstorm

wordpress as a sandstorm app

acronymy.net

collaborative website asking: can we define every word as an acronym?

sandstorm-rust

Sandstorm Cap'n Proto interfaces, packaged for Rust

math-puzzles-in-lean

math puzzles from various sources, formalized in Lean

tryAtEachStep

Try a tactic at each step in a Lean proof.

nicer-trees

config

configuration files

advisory-db

Security advisory database for Rust crates published through crates.io

DuperDemo

dwrensha.github.io

golf-horse-submissions

submissions for http://golf.horse

kernel-reduction-explosion

https://youtu.be/FOt-GsiNJmU

lean4

Lean 4 programming language and theorem prover

lean4lean

Lean 4 kernel / 'external checker' written in Lean 4

LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

llama.cpp

Port of Facebook's LLaMA model in C/C++

llmlean

LLMs + Lean, on your laptop or in the cloud

mathlib4

Work in progress mathlib port for lean 4

miniF2F

Formal to Formal Mathematics Benchmark

PrimeNumberTheoremAnd

blueprint for prime number theorem and more

ray

Formalizing results about the Mandelbrot set in Lean

rust

a safe, concurrent, practical language

serdebench

std4

Standard Library for Lean 4