Related Repositories for Lapin0t/grothendieck-cern

Repository	⭐ Stars	🍴 Forks	Ratio
Lapin0t/grothendieck-cern	53	5	10.60
typst/typst	19	0
danistefanovic/build-your-own-x	15	0
coq/coq	14	2	7.00
papers-we-love/papers-we-love	14	1	14.00
jart/cosmopolitan	13	0
AndrasKovacs/elaboration-zoo	13	1	13.00
JuliaLang/julia	12	2	6.00
CamDavidsonPilon/Probabilistic-Programming-and-Bayesian-Methods-for-Hackers	12	1	12.00
FiloSottile/age	12	0
sharkdp/fd	12	0
sindresorhus/awesome	12	0
sharkdp/hyperfine	12	0
zed-industries/zed	12	0
andrejbauer/plzoo	11	0
tree-sitter/tree-sitter	11	0
tldr-pages/tldr	11	0
getify/You-Dont-Know-JS	11	0
varkor/quiver	11	1	11.00
penrose/penrose	11	0
torvalds/linux	11	0
nvbn/thefuck	10	0
ibraheemdev/modern-unix	10	0
helix-editor/helix	10	0
agda/agda	10	6	1.67
donnemartin/system-design-primer	10	0
sharkdp/bat	10	0
dylanaraps/pure-sh-bible	10	0
mikeshulman/narya	10	0
neovim/neovim	10	2	5.00
mawww/kakoune	10	1	10.00
trimstray/the-book-of-secret-knowledge	10	0
stacks/stacks-project	10	0
ggerganov/llama.cpp	10	0
dandavison/delta	10	0
CompVis/stable-diffusion	10	1	10.00
3b1b/manim	10	0
restic/restic	10	0
bevyengine/bevy	10	0
cisco/ChezScheme	10	0
hmemcpy/milewski-ctfp-pdf	10	1	10.00
awesome-selfhosted/awesome-selfhosted	10	0
jozefg/learn-tt	10	1	10.00
starship/starship	9	0
google/jax	9	1	9.00
tonsky/FiraCode	9	0
excalidraw/excalidraw	9	0
lapce/lapce	9	0
ziglang/zig	9	2	4.50
HoTT/HoTT	9	2	4.50
ianyh/Amethyst	9	0
mxgmn/WaveFunctionCollapse	9	0
mattearnshaw/lawvere	9	0
yt-dlp/yt-dlp	9	0
HoTT/book	9	1	9.00
jart/blink	9	0
servo/servo	9	1	9.00
junegunn/fzf	9	1	9.00
NixOS/nixpkgs	9	4	2.25
gothinkster/realworld	9	0
hwayne/awesome-cold-showers	9	0
nushell/nushell	9	0
openai/whisper	9	0
gorhill/uBlock	9	0
photoprism/photoprism	9	0
tldraw/tldraw	9	0
AndrasKovacs/smalltt	9	0
rust-lang/rust	9	2	4.50
koalaman/shellcheck	9	1	9.00
Genymobile/scrcpy	9	0
mame/quine-relay	9	0
vlang/v	9	0
leanprover/lean4	9	0
ventoy/Ventoy	8	0
supabase/supabase	8	0
UniMath/SymmetryBook	8	1	8.00
yishn/tikzcd-editor	8	0
logseq/logseq	8	1	8.00
prakhar1989/awesome-courses	8	0
hwchase17/langchain	8	0
iamadamdev/bypass-paywalls-chrome	8	0
josephmisiti/awesome-machine-learning	8	1	8.00
ryankeleti/ega	8	1	8.00
mortberg/cubicaltt	8	0
valeriansaliou/sonic	8	0
zulip/zulip	8	0
tauri-apps/tauri	8	0
BurntSushi/xsv	8	0
kanaka/mal	8	0
borgbackup/borg	8	0
BurntSushi/ripgrep	8	0
tectonic-typesetting/tectonic	8	0
github/gitignore	8	3	2.67
nuprl/10PL	8	0
rclone/rclone	8	1	8.00
StractOrg/stract	8	0
Anuken/Mindustry	8	0
godotengine/godot	8	0
phiresky/ripgrep-all	8	0
jwasham/coding-interview-university	8	1	8.00