Related Repositories for mattearnshaw/lawvere

Repository	⭐ Stars	🍴 Forks	Ratio
mattearnshaw/lawvere	325	11	29.55
michaelt/martin-lof	92	8	11.50
hmemcpy/milewski-ctfp-pdf	80	2	40.00
papers-we-love/papers-we-love	75	4	18.75
sindresorhus/awesome	74	6	12.33
3b1b/manim	70	0
agda/agda	68	19	3.58
jozefg/learn-tt	62	7	8.86
coq/coq	62	14	4.43
donnemartin/system-design-primer	61	2	30.50
HoTT/book	61	11	5.55
varkor/quiver	59	4	14.75
UniMath/UniMath	59	7	8.43
github/semantic	59	0
mxgmn/WaveFunctionCollapse	58	2	29.00
tonsky/FiraCode	57	1	57.00
JuliaLang/julia	57	7	8.14
leanprover/lean	57	7	8.14
plfa/plfa.github.io	56	14	4.00
leanprover/lean4	56	6	9.33
danistefanovic/build-your-own-x	55	0
HoTT/HoTT	54	8	6.75
Z3Prover/z3	54	5	10.80
typst/typst	54	0
jlevy/the-art-of-command-line	53	3	17.67
mortberg/cubicaltt	53	7	7.57
steshaw/plt	53	3	17.67
koalaman/shellcheck	52	0
bgavran/Category_Theory_Machine_Learning	52	1	52.00
BurntSushi/ripgrep	52	1	52.00
jgm/pandoc	52	6	8.67
junegunn/fzf	51	1	51.00
purescript/purescript	51	8	6.38
andrejbauer/plzoo	50	2	25.00
FStarLang/FStar	50	4	12.50
tree-sitter/tree-sitter	49	1	49.00
sdiehl/write-you-a-haskell	49	6	8.17
penrose/penrose	48	1	48.00
kanaka/mal	48	4	12.00
idris-lang/Idris-dev	48	16	3.00
martinescardo/TypeTopology	47	7	6.71
rust-lang/rust	47	9	5.22
syl20bnr/spacemacs	47	15	3.13
neovim/neovim	46	2	23.00
koka-lang/koka	46	3	15.33
jwiegley/category-theory	45	4	11.25
agda/agda-stdlib	45	14	3.21
leanprover-community/mathlib	45	5	9.00
sharkdp/bat	45	5	9.00
chrislgarry/Apollo-11	45	1	45.00
carp-lang/Carp	45	1	45.00
UniMath/SymmetryBook	45	1	45.00
torvalds/linux	44	10	4.40
dhall-lang/dhall-lang	44	1	44.00
yallop/effects-bibliography	44	6	7.33
fantasyland/fantasy-land	43	0
nushell/nushell	43	2	21.50
helix-editor/helix	43	0
sharkdp/fd	43	0
getify/You-Dont-Know-JS	43	3	14.33
tensorflow/tensorflow	43	5	8.60
martinescardo/HoTT-UF-Agda-Lecture-Notes	42	3	14.00
agda/cubical	42	11	3.82
sharkdp/hyperfine	42	0
unisonweb/unison	42	1	42.00
sdiehl/wiwinwlh	42	5	8.40
idris-lang/Idris2	42	5	8.40
cisco/ChezScheme	42	2	21.00
minimaxir/big-list-of-naughty-strings	41	1	41.00
NixOS/nix	41	6	6.83
agda/agda-categories	41	10	4.10
AndrasKovacs/smalltt	41	3	13.67
ekmett/lens	40	3	13.33
NixOS/nixpkgs	40	22	1.82
EgbertRijke/HoTT-Intro	40	5	8.00
uutils/coreutils	40	1	40.00
be5invis/Iosevka	40	1	40.00
mikeizbicki/HLearn	40	1	40.00
google/jax	39	2	19.50
jaspervdj/hakyll	39	7	5.57
facebook/reason	39	2	19.50
andrejbauer/homotopy-type-theory-course	39	2	19.50
jart/cosmopolitan	39	1	39.00
jwilm/alacritty	38	1	38.00
github/gitignore	38	11	3.45
tweag/asterius	38	0
resume/resume.github.com	38	0
hlissner/doom-emacs	38	4	9.50
OpenLogicProject/OpenLogic	38	8	4.75
josephmisiti/awesome-machine-learning	38	3	12.67
edwinb/Idris2	38	5	7.60
norvig/pytudes	38	1	38.00
HoTT/HoTT-Agda	38	6	6.33
norvig/paip-lisp	38	2	19.00
ucsd-progsys/liquidhaskell	38	5	7.60
JetBrains/Arend	38	5	7.60
dandavison/delta	38	1	38.00
sweirich/pi-forall	37	7	5.29
CMU-HoTT/scott	37	2	18.50
gibiansky/IHaskell	37	1	37.00