The math library of Lean 4

How to say it using Mathlib.

Scripts and utilities to support the mathlib repository's CI/CD operations

https://1000-plus.github.io/

🏡 Open source home automation that puts local control and privacy first.

Source for the community blog

Hosts the website for mathlib and other Lean community infrastructure.

Source code for the Mathematics in Lean tutorial.

Lean 4 programming language and theorem prover

VS Code extension for the Lean 4 programming language and theorem prover

Generate HTML documentation for mathlib and Lean

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

Mathlib search tool

Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)

Blueprint for the PNT+ Project

Server to host lean games.

The Website and web infrastructure for learning TypeScript

Kubernetes controller to enable automatic kubelet CSR validation after a series of (configurable) security checks

Empowering everyone to build reliable and efficient software.

Make/Encode some basic logic puzzles

Zero dependency Docking Layout Manager. Supports Vanilla TypeScript, React and Vue.

A C++ library for interacting with JSON.

Godot Engine – Multi-platform 2D and 3D game engine

Construct: Declarative data structures for python that allow symmetric parsing and building

Visual Studio Code

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

An extremely fast Python linter and code formatter, written in Rust.