Related Repositories for HoTT/book

Repository	⭐ Stars	🍴 Forks	Ratio
HoTT/book	2,274	120	18.95
papers-we-love/papers-we-love	679	47	14.45
sindresorhus/awesome	628	46	13.65
tensorflow/tensorflow	604	89	6.79
torvalds/linux	597	89	6.71
neovim/neovim	581	36	16.14
vhf/free-programming-books	536	75	7.15
rust-lang/rust	520	99	5.25
facebook/react	516	54	9.56
JuliaLang/julia	504	49	10.29
jlevy/the-art-of-command-line	486	26	18.69
robbyrussell/oh-my-zsh	484	78	6.21
getify/You-Dont-Know-JS	477	32	14.91
jgm/pandoc	474	50	9.48
github/gitignore	469	113	4.15
donnemartin/system-design-primer	445	39	11.41
koalaman/shellcheck	440	21	20.95
tonsky/FiraCode	434	10	43.40
junegunn/fzf	417	16	26.06
mbostock/d3	414	35	11.83
coq/coq	413	47	8.79
hakimel/reveal.js	412	49	8.41
3b1b/manim	408	13	31.38
vinta/awesome-python	405	26	15.58
BurntSushi/ripgrep	405	14	28.93
syl20bnr/spacemacs	399	84	4.75
golang/go	398	42	9.48
nvbn/thefuck	391	5	78.20
josephmisiti/awesome-machine-learning	388	29	13.38
atom/atom	385	51	7.55
hmemcpy/milewski-ctfp-pdf	384	27	14.22
Z3Prover/z3	384	20	19.20
discourse/discourse	384	31	12.39
mrdoob/three.js	377	32	11.78
ansible/ansible	376	54	6.96
resume/resume.github.com	375	16	23.44
ggreer/the_silver_searcher	372	14	26.57
danistefanovic/build-your-own-x	371	25	14.84
CamDavidsonPilon/Probabilistic-Programming-and-Bayesian-Methods-for-Hackers	370	37	10.00
prakhar1989/awesome-courses	369	30	12.30
scikit-learn/scikit-learn	362	43	8.42
SamyPesse/How-to-Make-a-Computer-Operating-System	362	17	21.29
git/git	361	40	9.02
0xAX/linux-insides	361	21	17.19
airbnb/javascript	358	31	11.55
rethinkdb/rethinkdb	356	17	20.94
FortAwesome/Font-Awesome	354	26	13.62
agda/agda	352	47	7.49
tldr-pages/tldr	346	24	14.42
HoTT/HoTT	346	34	10.18
apple/swift	345	35	9.86
TryGhost/Ghost	344	28	12.29
rg3/youtube-dl	343	29	11.83
bitcoin/bitcoin	343	34	10.09
purescript/purescript	342	36	9.50
stedolan/jq	342	9	38.00
chrislgarry/Apollo-11	340	21	16.19
facebook/react-native	338	22	15.36
tensorflow/models	337	24	14.04
syncthing/syncthing	335	11	30.45
minimaxir/big-list-of-naughty-strings	332	14	23.71
idris-lang/Idris-dev	327	60	5.45
servo/servo	326	32	10.19
gorhill/uBlock	325	12	27.08
isocpp/CppCoreGuidelines	324	23	14.09
fish-shell/fish-shell	323	20	16.15
ocornut/imgui	323	19	17.00
sharkdp/bat	322	9	35.78
avelino/awesome-go	321	27	11.89
sharkdp/fd	321	10	32.10
kamranahmedse/developer-roadmap	320	18	17.78
NixOS/nixpkgs	319	135	2.36
adobe/brackets	317	22	14.41
LightTable/LightTable	316	15	21.07
GitbookIO/gitbook	316	17	18.59
angular/angular.js	315	37	8.51
facebook/rocksdb	313	18	17.39
bitemyapp/learnhaskell	313	27	11.59
steshaw/plt	312	21	14.86
python/cpython	310	56	5.54
antirez/redis	310	50	6.20
twbs/bootstrap	309	55	5.62
BVLC/caffe	306	23	13.30
elixir-lang/elixir	306	26	11.77
tree-sitter/tree-sitter	305	9	33.89
nushell/nushell	305	17	17.94
kanaka/mal	304	39	7.79
ripienaar/free-for-dev	302	18	16.78
Microsoft/TypeScript	302	17	17.76
Microsoft/vscode	300	19	15.79
github/semantic	300	9	33.33
facebook/flow	300	17	17.65
ipython/ipython	299	28	10.68
meteor/meteor	299	19	15.74
kripken/emscripten	299	15	19.93
tauri-apps/tauri	299	6	49.83
tiimgreen/github-cheat-sheet	298	14	21.29
alex/what-happens-when	298	11	27.09
grafana/grafana	297	17	17.47
uutils/coreutils	297	20	14.85