EdAyers

lean-humanproof-thesis

Implementation of HumanProof system from https://www.edayers.com/thesis

lean-chat-server

Server for lean-chat

sss

Python projects monorepo

katex-react

Fork of KaTeX that uses React and Typescript instead.

lean-recursion-schemes

Deriving optics for Lean

lean4-samples

Code samples for Lean 4

xcomposegen

My XCompose file generator

capabilities

Multi Capabilities SDK

doc-gen

Generate HTML documentation for mathlib and Lean

gnome-shell-extensions-negesti

An gnome-shell extension that makes window movement a lot easier.

hardest

The HARDness ESTimation package: A library for ranking images from a dataset by hardness with respect to a specific detector.

KaTeX

Fast math typesetting for the web.

lake

Lean 4 build system and package manager with configuration files written in Lean.

lean

Lean Theorem Prover

lean-chat-vscode

lean4

Lean4 work in progress repo

lean4-metaprogramming-book

math-lm

mathlib-semantic-search

mathlib4

Work in progress mathlib port for lean 4

mmdetection3d

OpenMMLab's next-generation platform for general 3D object detection.

SciLean

Scientific computing in Lean 4

sqlglot

Python SQL Parser and Transpiler

std4

Standard Library for Lean 4

transformer-tensorflow

Implementation of Transformer Model in Tensorflow

UPWARD-for-Playdate

Port of Matthias Falk's Upward to Playdate

virtual-dom

A Virtual DOM and diffing algorithm

vscode-icons

Icons for Visual Studio Code

vscode-lean

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

vscode-lean4