26Applications & Showcases
16 entries
Apps & Services
- lean-todomvc-maxProduction-style TodoMVC with passwordless sign-in, migrations, telemetry, an LLM panel and AWS Lambda deployment.paulbutcher/lean-todomvc-max
- LeanToDoWeb app built with leansqlite, Verso and htmx.pandaman64/LeanToDo
- lean-acme-widgetsCRUD service combining gRPC, refinement-typed protobuf validation, PostgreSQL and TLS.pb64-lean/lean-acme-widgets
- viperPython environment manager written in Lean.arthurpaulino/viper
- lean4-raytracerSimple raytracer.kmill/lean4-raytracer
- Shirika-RPCTypeScript worker RPC library whose protocol layer is checked in Lean.eluvane/Shirika-RPC
Games
- flappyClone of Flappy Bird built with raylean.paulcadman/flappy
- LeanDoomedRaycasting demo using SDL3.oOo0oOo/LeanDoomed
- lean4-mazeMaze game encoded in Lean syntax.dwrensha/lean4-maze
- Chess.leanChess in Lean 4.dwrensha/Chess.lean
- ChessProverChess engine with a theory for proving endgame statements.parabamoghv/ChessProver
- PuzzleLeanPuzzleScript engine: play grid puzzles in the infoview and prove them solvable.
- EleanvatorSagaElevator Saga played in the infoview.Julian/EleanvatorSaga
- lean-snakebirdSnakebird implementation.marcusrossel/lean-snakebird
- FunctorioBuild Factorio factories in Lean with types, functions and recursion.konne88/functorio
- lean4gameEngine and server for interactive Lean games (live).leanprover-community/lean4game