Pinned Repositories
unofficial-observablehq-compiler
An unofficial compiler for Observable notebook syntax
Analytic
lecture notes for Analytic Geometry course
lean-client-js
lean-fibonacci
lean-matroids
matroids in lean
RigidityPackage
copy of RigidityPackage Mathematica package from bitbucket to GitHub. Please raise issues at bitbucket or email bgc.
lean-web-editor
Lean 3 web editor
mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
vscode-lean
Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for the Lean 4 language.
bryangingechen's Repositories
bryangingechen/lean-matroids
matroids in lean
bryangingechen/lean-client-js
bryangingechen/lean-fibonacci
bryangingechen/Analytic
lecture notes for Analytic Geometry course
bryangingechen/bryangingechen.github.io
bryangingechen/doc-gen
Generate HTML documentation for mathlib and Lean
bryangingechen/highlight.js
Javascript syntax highlighter
bryangingechen/lean
Lean Theorem Prover
bryangingechen/lean-web-editor-dist
bryangingechen/leancrawler
A python library which gathers statistics and relational information about Lean libraries.
bryangingechen/leanprover-community.github.io
bryangingechen/leanprover.github.io
www
bryangingechen/lezer
Incremental parsing system
bryangingechen/lezer-generator
Parser generator for the lezer incremental parser
bryangingechen/mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
bryangingechen/mathlib
Lean mathematical components library
bryangingechen/mathlib4
The math library of Lean 4
bryangingechen/mathlib_docs
Hosts the HTML documentation for mathlib.
bryangingechen/natural_number_game
Building the natural numbers in Lean.
bryangingechen/pygments
Pygments is a generic syntax highlighter written in Python
bryangingechen/queueboard
bryangingechen/reference-manual
bryangingechen/rust-analyzer
An experimental Rust compiler front-end for IDEs
bryangingechen/sql.js
SQLite compiled to JavaScript through Emscripten
bryangingechen/Sylow
bryangingechen/sync-task-issues
Sync task issue closure to hierarchical parent tracking issues
bryangingechen/transcendental
bryangingechen/unofficial-observablehq-compiler
An unofficial compiler for Observable notebook syntax
bryangingechen/vscode-lean
An extension for VS Code which provides support for the Lean language.
bryangingechen/vscode-lean4