lakes.json

["0art0/CategoryTheory",
 "AdrienChampion/experimentalean4",
 "Anderssorby/LeanPlay",
 "Appelcider/Graphs-and-Groups",
 "Augustindou/natural2lean",
 "Augustindou/natural2lean-lean-project-template",
 "AwdeDarkar/my-mathlib",
 "BartoszPiotrowski/lean-premise-selection",
 "ChrisHughes24/lean4stuff",
 "FWuermse/lean-postgres",
 "FWuermse/lean4-sql-utils",
 "Ferinko/LeanAStar",
 "Ferinko/LeanSha",
 "GregorKikelj/Lean4AdventOfCode",
 "IPDSnelting/tba-2022",
 "Izzimach/lean-glfw",
 "Izzimach/qinglong",
 "JLimperg/aesop",
 "JamesGallicchio/LeanColls",
 "Julian/lean.nvim",
 "Kha/do-supplement",
 "Kha/lean4-nightly",
 "Kha/nale",
 "Mateiadrielrafael/lean-sandbox",
 "NicolasRouquette/YatimaGraphLib",
 "NicolasRouquette/dimensional-calculus.lean4",
 "Nolrai/WildGeo",
 "Nolrai/bindings",
 "Nolrai/lambda",
 "Nolrai/ordinal",
 "Nolrai/pharoh",
 "PatrickMassot/lean4-game-server",
 "PatrickMassot/verbose-lean4",
 "PeterKementzey/graph-library-for-lean4",
 "PolyB/LeanPythonRaw",
 "Riib11/yinlang-lean",
 "RosieBaish/first_order_leaning",
 "RosieBaish/lean-sep-logic",
 "SReichelt/universe-abstractions",
 "SimonHauguel/Lec",
 "SnO2WMaN/lean-first-practice",
 "Stefan-Radu/cursuri-licenta",
 "UofSC-Fall-2022-Math-300-H01/homework0",
 "UofSC-Fall-2022-Math-300-H01/homework4",
 "UofSC-Fall-2022-Math-300-H01/homework9",
 "UofSC-Fall-2022-Math-300-H01/lean-notes",
 "UofSC-Fall-2022-Math-300-H01/quiz9",
 "UofSC-Fall-2022-Math-300-H01/quizzes",
 "Vtec234/lean-sat",
 "Vtec234/npm-widget",
 "WinstonHartnett/lean-club",
 "abentkamp/duper",
 "abentkamp/optlibport",
 "adamtopaz/lean4_advent_2021",
 "agentultra/LeanParsec",
 "agentultra/lean-4-hackers",
 "alcides/untyped",
 "alecvv/proof-mining.preview",
 "alexkeizer/qpf4",
 "amamama/fuzzy-octo-palm-tree",
 "ammkrn/JohnDoe",
 "ammkrn/UsCourts",
 "ammkrn/prolala_demo",
 "ammkrn/timelib",
 "ancient-software/husky",
 "arademaker/mrs",
 "arthurpaulino/FxyLang",
 "arthurpaulino/LeanMusic",
 "arthurpaulino/LeanMySQL",
 "arthurpaulino/LeanREPL",
 "arthurpaulino/NumLean",
 "arthurpaulino/lean4-metaprogramming-book",
 "arthurpaulino/viper",
 "avigad/lamr",
 "barendventer/AltClassical",
 "bollu/lean-to",
 "bollu/lean4_docs",
 "chasenorman/FormalizedFoundations",
 "chaudhuri/profound-intuitionistic",
 "cipher1024/lean4-prog",
 "cognivore/FuncDep.lean",
 "crabbo-rave/Soup",
 "crabbo-rave/lean4-Hangman",
 "crabbo-rave/lean4-Tuple",
 "crabbo-rave/useless_macros",
 "cristinaborza/Logic-in-Lean",
 "cristinaborza/S5",
 "cruhland/lean4-analysis",
 "cruhland/lean4-axiomatic",
 "denjiry/leanforeign",
 "denjiry/leanhello",
 "dupuisf/BibtexQuery",
 "dwrensha/lean4-maze",
 "emap-ic/syllabus",
 "felipegchi/ash",
 "felipegchi/books",
 "felipegchi/lyre",
 "felipegchi/soda",
 "fgdorais/BasicHilbert",
 "fgdorais/GMLAlgebra",
 "fgdorais/GMLInit",
 "fischerman/awesome-dashboards",
 "forked-from-1kasper/ground_zero",
 "forked-from-1kasper/lean-vcpu",
 "furea2/InfinityCategory",
 "furea2/NBG",
 "gabriel-fallen/bidirectional-demo",
 "gebner/inundation",
 "gebner/oleanparser",
 "gebner/quote4",
 "hargoniX/cpdt-lean",
 "hargoniX/lean-cube",
 "hargoniX/lean-ink-bug",
 "hargoniX/lean4-c-bug",
 "hargoniX/lean4-fixed",
 "hargoniX/lean4-statvfs",
 "hcheval/ProofMiningLean",
 "insightmind/LeanInk",
 "intsuc/unified-bidirectional-elaboration",
 "japiirainen/lean-stuff",
 "javra/iit",
 "jessetvogel/Math4",
 "jessetvogel/duck",
 "joehendrix/lean-arith-solver",
 "joehendrix/lean-crypto",
 "joehendrix/lean-sat-checker",
 "jrr6/lean-tables",
 "justinfargnoli/koi",
 "kaicho8636/GeoLean",
 "katydid/proofs",
 "kmill/lean4-raytracer",
 "langfield/Cheat.lean",
 "langfield/fpil",
 "langfield/mcbride",
 "langfield/mergesort",
 "langfield/nflow",
 "langfield/the-varieties-of-natural-experience",
 "larsk21/iris-lean",
 "leanprover-community/lean3port",
 "leanprover-community/mathlib3port",
 "leanprover-community/mathlib4",
 "leanprover-community/mathport",
 "leanprover-community/test-mathport",
 "leanprover/LeanInk",
 "leanprover/doc-gen4",
 "leanprover/lake",
 "leanprover/lean4",
 "leanprover/lean4-samples",
 "leanprover/std4",
 "leanprover/vscode-lean4",
 "lecopivo/EigenLean",
 "lecopivo/HouLean",
 "lecopivo/SciLean",
 "lecopivo/lean4-karray",
 "lecopivo/leanPluginTest",
 "lephe/lean4-hbind",
 "lephe/lean4-rewriting",
 "locriacyber/lean-ffi",
 "lovettchris/LeanExamples",
 "lovettchris/hglv",
 "m4xine/lilog",
 "marcusrossel/lean-snakebird",
 "marcusrossel/model-checking",
 "marcusrossel/reactor-lean",
 "marcusrossel/reactor-model",
 "matheusanmo/lean4-fmc",
 "mhuisi/lean4-cli",
 "nice-buns/Analysis1",
 "opencompl/C-parsing-for-Lean4",
 "opencompl/egg-tactic-code",
 "opencompl/lean-gap",
 "opencompl/lean-mlir",
 "opencompl/lean-mlir-semantics",
 "pcpthm/pe",
 "plumsirawit/mynat",
 "pnwamk/lean4-assert-command",
 "ramonfmir/junglean",
 "rebryant/model-counting",
 "remimimimimi/lambda-calculus-typecheckers",
 "remimimimimi/lean4-type-theory",
 "resin-studio/slim",
 "sgraf812/dmdanal",
 "shingtaklam1324/approx",
 "shingtaklam1324/iva",
 "shua/leanknot",
 "siddhartha-gadgil/LeanAide",
 "siddhartha-gadgil/Polylean",
 "siddhartha-gadgil/Saturn",
 "siddhartha-gadgil/lean-loris",
 "siddhartha-gadgil/lean4-scratch",
 "suhr/ring-mwe",
 "tangentstorm/tangentlabs",
 "technosentience/ltlcheck",
 "theodormoroianu/ThirdYearCourses",
 "tomhoule/tpil4",
 "tydeu/folktale",
 "tydeu/lean4-alloy",
 "tydeu/lean4-itertools",
 "tylerhanks/AwodeyCT",
 "ufmg-smite/lean-smt",
 "user7230724/lean-projects4",
 "userJY/Lean4FFI",
 "userJY/LeanRBTree",
 "verified-optimization/optlibport",
 "xubaiw/BaseN.lean",
 "xubaiw/CMark.lean",
 "xubaiw/Curl.lean",
 "xubaiw/Dirs.lean",
 "xubaiw/Dta.lean",
 "xubaiw/Economics.lean",
 "xubaiw/Readline.lean",
 "xubaiw/Reservoir.lean",
 "xubaiw/Socket.lean",
 "xubaiw/Unicode.lean",
 "xubaiw/WaterSortPuzzle.lean",
 "xubaiw/clashctl",
 "xubaiw/csv",
 "xubaiw/lean-problem-dynamic-link",
 "xubaiw/lean4-terminal",
 "xubaiw/sjtu-math2501-ode",
 "yatima-inc/Http.lean",
 "yatima-inc/Ipld.lean",
 "yatima-inc/LSpec",
 "yatima-inc/Megaparsec.lean",
 "yatima-inc/Nova.lean",
 "yatima-inc/Poseidon.lean",
 "yatima-inc/Radiya.lean",
 "yatima-inc/Spark.lean",
 "yatima-inc/YatimaStdLib.lean",
 "yatima-inc/ZKSnark.lean",
 "yatima-inc/yatima-lang",
 "yatima-inc/yatima-prelude",
 "ydewit/lean-markup",
 "zaxioms/LeanAlg",
 "zenna/LeanOmega",
 "zhangjunphy/lean-demo",
 "zygi/lean4-sha3"]