This is stars and forks stats for /leanprover-community/mathlib repository. As of 28 Mar, 2024 this repository has 1609 stars and 303 forks.
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
ImperialCollegeLondon/formalising-mathematics-2022 | Lean | 112 | 0 | 27 | 0 |
openai/lean-gym | LeanShell | 120 | 0 | 31 | 0 |
llvm-mirror/llvm | LLVMC++Assembly | 4.6k | 0 | 2.1k | 0 |
Kong/kong | LuaPerlShell | 36k | +37 | 4.6k | +3 |
apache/apisix | LuaShellGo | 12.7k | +24 | 2.3k | +4 |
ray-x/lsp_signature.nvim | LuaOther | 1.7k | 0 | 43 | 0 |
L3MON4D3/LuaSnip | LuaOther | 2.3k | +8 | 210 | +1 |
lsyncd/lsyncd | LuaCCMake | 5.4k | 0 | 471 | 0 |
neovim/nvim-lspconfig | LuaOther | 8.2k | +41 | 1.9k | -1 |
hrsh7th/nvim-cmp | LuaVim ScriptOther | 5.9k | +29 | 311 | 0 |