bryangingechen

lean-matroids

matroids in lean

lean-client-js

lean-fibonacci

Analytic

lecture notes for Analytic Geometry course

bryangingechen.github.io

CodeMirror

In-browser code editor

doc-gen

Generate HTML documentation for mathlib and Lean

highlight.js

Javascript syntax highlighter

lean

Lean Theorem Prover

lean-web-editor-dist

leancrawler

A python library which gathers statistics and relational information about Lean libraries.

leanprover-community.github.io

leanprover.github.io

www

lezer

Incremental parsing system

lezer-generator

Parser generator for the lezer incremental parser

mathematics_in_lean_source

Source code for the Mathematics in Lean tutorial.

mathlib

Lean mathematical components library

mathlib_docs

Hosts the HTML documentation for mathlib.

ml-matrix

Matrix manipulation and computation library

natural_number_game

Building the natural numbers in Lean.

pygments

Pygments is a generic syntax highlighter written in Python

runtime

The Observable dataflow runtime.

rust-analyzer

An experimental Rust compiler front-end for IDEs

sql.js

SQLite compiled to JavaScript through Emscripten

Sylow

sync-task-issues

Sync task issue closure to hierarchical parent tracking issues

transcendental

unofficial-observablehq-compiler

An unofficial compiler for Observable notebook syntax

vscode-lean

An extension for VS Code which provides support for the Lean language.

vscode-lean4