GitRelate(d)
Related Repositories for ryankeleti/ega
Repository
⭐ Stars
🍴 Forks
Ratio
ryankeleti/ega
344
19
18.11
stacks/stacks-project
81
16
5.06
3b1b/manim
74
5
14.80
tensorflow/tensorflow
71
15
4.73
papers-we-love/papers-we-love
69
3
23.00
torvalds/linux
68
16
4.25
sindresorhus/awesome
66
4
16.50
coq/coq
61
11
5.55
leanprover/lean
60
8
7.50
HoTT/book
59
7
8.43
leanprover/lean4
57
6
9.50
pytorch/pytorch
55
5
11.00
hmemcpy/milewski-ctfp-pdf
54
4
13.50
rust-lang/rust
54
10
5.40
JuliaLang/julia
53
7
7.57
jgm/pandoc
53
8
6.62
agda/agda
52
8
6.50
jlevy/the-art-of-command-line
51
3
17.00
UniMath/UniMath
51
6
8.50
Z3Prover/z3
51
5
10.20
TheAlgorithms/Python
49
4
12.25
neovim/neovim
49
4
12.25
typst/typst
49
1
49.00
HoTT/HoTT
48
9
5.33
vinta/awesome-python
47
5
9.40
google/jax
46
2
23.00
yishn/tikzcd-editor
46
1
46.00
donnemartin/system-design-primer
46
3
15.33
BurntSushi/ripgrep
46
4
11.50
michaelt/martin-lof
45
6
7.50
varkor/quiver
45
2
22.50
jozefg/learn-tt
45
4
11.25
huggingface/transformers
44
3
14.67
junegunn/fzf
44
3
14.67
tonsky/FiraCode
43
1
43.00
jwasham/coding-interview-university
43
3
14.33
josephmisiti/awesome-machine-learning
42
2
21.00
github/semantic
42
2
21.00
penrose/penrose
42
1
42.00
ocaml/ocaml
41
4
10.25
getify/You-Dont-Know-JS
41
3
13.67
danistefanovic/build-your-own-x
41
3
13.67
leanprover-community/mathlib
41
9
4.56
FStarLang/FStar
41
2
20.50
idris-lang/Idris-dev
40
12
3.33
tensorflow/models
40
6
6.67
sharkdp/fd
40
2
20.00
sagemath/sage
40
6
6.67
sharkdp/bat
39
3
13.00
python/cpython
39
8
4.88
EbookFoundation/free-programming-books
39
3
13.00
mxgmn/WaveFunctionCollapse
38
3
12.67
agda/cubical
38
5
7.60
UniMath/SymmetryBook
38
3
12.67
nvbn/thefuck
38
2
19.00
steshaw/plt
38
3
12.67
cisco/ChezScheme
38
2
19.00
golang/go
38
3
12.67
tauri-apps/tauri
38
1
38.00
jesseduffield/lazygit
37
1
37.00
EgbertRijke/HoTT-Intro
37
5
7.40
kovidgoyal/kitty
37
1
37.00
AbsInt/CompCert
37
1
37.00
mortberg/cubicaltt
37
8
4.62
sympy/sympy
37
8
4.62
trimstray/the-book-of-secret-knowledge
37
2
18.50
helix-editor/helix
36
3
12.00
gorhill/uBlock
36
2
18.00
ocornut/imgui
36
5
7.20
ossu/computer-science
36
2
18.00
tree-sitter/tree-sitter
35
0
ggerganov/llama.cpp
35
2
17.50
openai/gym
35
4
8.75
mattearnshaw/lawvere
35
5
7.00
hakimel/reveal.js
35
4
8.75
resume/resume.github.com
35
0
ManimCommunity/manim
35
1
35.00
JetBrains/Arend
35
3
11.67
NationalSecurityAgency/ghidra
35
4
8.75
nushell/nushell
34
1
34.00
isocpp/CppCoreGuidelines
34
5
6.80
scikit-learn/scikit-learn
34
2
17.00
HoTT/HoTT-Agda
34
5
6.80
commercialhaskell/stack
34
6
5.67
vlang/v
34
2
17.00
prakhar1989/awesome-courses
34
4
8.50
be5invis/Iosevka
34
2
17.00
koalaman/shellcheck
34
2
17.00
starship/starship
33
1
33.00
openai/whisper
33
1
33.00
vim/vim
33
1
33.00
andrejbauer/plzoo
33
1
33.00
yt-dlp/yt-dlp
33
3
11.00
kamranahmedse/developer-roadmap
33
1
33.00
kanaka/mal
33
4
8.25
chrislgarry/Apollo-11
33
1
33.00
denoland/deno
33
3
11.00
github/gitignore
33
6
5.50
ekmett/lens
33
5
6.60
sharkdp/hyperfine
33
2
16.50
Show More