Complete Production Webapp in Lean | Hacker News - But Better

Complete Production Webapp in Lean github.com

Complete production webapp in Lean. Contribute to paulbutcher/lean-todomvc-max development by creating an account on GitHub.

3 points•dgordev1982•10 days ago•0 comments•

#lean #webapp #production #complete #production webapp #complete production #complete production webapp #contribute

0 comments

No comments yet.

Related stories

Don't test in production? Test in productionopensource.com
Lobsters · 6 points · over 7 years ago
Lean Golf – Code golf but you're proving theorems in Leanlean.golf
Hacker News · 1 points · 6 days ago
Postgres query plans without production dataweavori.com
Hacker News · 1 points · 2 days ago
Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problemgithub.com
Hacker News · 20 points · 4 days ago
Resident Evil 4 (GameCube) – complete byte-identical decompilation to C/C++github.com
Hacker News · 126 points · 10 days ago
Knowledge Refresh for Production RAG
Hacker News · 2 points · 10 days ago