mo271

formal_book

Formalizing "Proofs from THE BOOK"

mo271.github.io

Source of Moritz Firsching's web page

guessaday

An android app for training mental calendar caculations

bench

Testing of various jxl implementations in terms of conformance, speed, compression, ...

ibex-lib

IBEX is a C++ library for constraint processing over real numbers.

klein

Source for Felix Klein Protokolle

lean4

Lean 4 programming language and theorem prover

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

libjxl

JPEG XL image format reference implementation

self-organising-systems

std4

Standard Library for Lean 4

timelib

A date and time library for Lean 4

EulerProducts

An attempt at formalizing facts on Euler products in Lean

firsch.ing

source for firsch.ing

FLT

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

gemma.cpp

lightweight, standalone C++ inference engine for Google's Gemma models.

HomotopyContinuation.jl

A Julia package for solving systems of polynomials via homotopy continuation.

leanblueprint

plasTeX plugin to build formalization blueprints.

mathlib4

Work in progress mathlib port for lean 4

MathlibSynergies

Materials for the hands-on Lean session during the [Combinatorial Coworkspace 2024](https://www.combinatorial-cowork.space/)

oss-fuzz

OSS-Fuzz - continuous fuzzing for open source software.

PrimeNumberTheoremAnd

blueprint for prime number theorem and more

ringli

sage

Main repository of SageMath. Now open for Issues and Pull Requests.

symmetric_project

tensorflow

An Open Source Machine Learning Framework for Everyone

testdata

TestProject

Testing weird filenames with doc4-gen

wpt

Test suites for Web platform specs — including WHATWG, W3C, and others

zimtohrli