Pinned Repositories
edlib
Some personal experiments in Lean
hypergraph-games
An experiment with interactive lecture notes. Notes taken from the _hypergraph games_ graduate lecture course taught by Imre Leader at the University of Cambridge.
Isaac3D
A Google Cardboard app using Unity that visualises concepts in physics.
lean-chat-server
Server for lean-chat
lean-humanproof
Implementation of Gowers & Ganesalingam theorem prover in Lean
lean-humanproof-thesis
Implementation of HumanProof system from https://www.edayers.com/thesis
lean-subtask
Subtasks algorithm for Lean
leanhanoi
Tower of Hanoi in Lean!
Robotone
The 'Robot' theorem prover. Fork of github.com/mg262/research
sss
Python projects monorepo
EdAyers's Repositories
EdAyers/lean-humanproof-thesis
Implementation of HumanProof system from https://www.edayers.com/thesis
EdAyers/lean-chat-server
Server for lean-chat
EdAyers/sss
Python projects monorepo
EdAyers/katex-react
Fork of KaTeX that uses React and Typescript instead.
EdAyers/lean-recursion-schemes
Deriving optics for Lean
EdAyers/lean4-samples
Code samples for Lean 4
EdAyers/xcomposegen
My XCompose file generator
EdAyers/capabilities
Multi Capabilities SDK
EdAyers/doc-gen
Generate HTML documentation for mathlib and Lean
EdAyers/gnome-shell-extensions-negesti
An gnome-shell extension that makes window movement a lot easier.
EdAyers/hardest
The HARDness ESTimation package: A library for ranking images from a dataset by hardness with respect to a specific detector.
EdAyers/KaTeX
Fast math typesetting for the web.
EdAyers/lake
Lean 4 build system and package manager with configuration files written in Lean.
EdAyers/lean
Lean Theorem Prover
EdAyers/lean-chat-vscode
EdAyers/lean4
Lean4 work in progress repo
EdAyers/lean4-metaprogramming-book
EdAyers/math-lm
EdAyers/mathlib-semantic-search
EdAyers/mathlib4
Work in progress mathlib port for lean 4
EdAyers/mmdetection3d
OpenMMLab's next-generation platform for general 3D object detection.
EdAyers/SciLean
Scientific computing in Lean 4
EdAyers/sqlglot
Python SQL Parser and Transpiler
EdAyers/std4
Standard Library for Lean 4
EdAyers/transformer-tensorflow
Implementation of Transformer Model in Tensorflow
EdAyers/UPWARD-for-Playdate
Port of Matthias Falk's Upward to Playdate
EdAyers/virtual-dom
A Virtual DOM and diffing algorithm
EdAyers/vscode-icons
Icons for Visual Studio Code
EdAyers/vscode-lean
An extension for VS Code which provides support for the Lean language.
EdAyers/vscode-lean4