Related Repositories for mikeshulman/narya

Repository	⭐ Stars	🍴 Forks	Ratio
mikeshulman/narya	132	3	44.00
agda/agda	57	16	3.56
leanprover/lean4	47	8	5.88
typst/typst	46	2	23.00
AndrasKovacs/elaboration-zoo	46	5	9.20
agda/cubical	43	12	3.58
coq/coq	41	11	3.73
FStarLang/FStar	41	2	20.50
AndrasKovacs/smalltt	40	2	20.00
Z3Prover/z3	37	2	18.50
Kindelia/HVM	37	1	37.00
martinescardo/TypeTopology	36	4	9.00
jozefg/learn-tt	36	1	36.00
UniMath/UniMath	35	5	7.00
idris-lang/Idris2	35	7	5.00
mortberg/cubicaltt	33	4	8.25
varkor/quiver	33	1	33.00
koka-lang/koka	32	4	8.00
papers-we-love/papers-we-love	32	3	10.67
rust-lang/rust	32	5	6.40
steshaw/plt	32	3	10.67
flix/flix	31	3	10.33
CakeML/cakeml	31	0
ocaml/ocaml	31	7	4.43
tree-sitter/tree-sitter	31	1	31.00
hmemcpy/milewski-ctfp-pdf	31	0
unisonweb/unison	30	2	15.00
agda/agda-categories	30	5	6.00
diku-dk/futhark	30	0
lapce/lapce	29	0
leanprover-community/mathlib4	29	4	7.25
HoTT/HoTT	29	5	5.80
sweirich/pi-forall	29	4	7.25
helix-editor/helix	28	1	28.00
sharkdp/hyperfine	28	1	28.00
yallop/effects-bibliography	28	0
cisco/ChezScheme	28	3	9.33
JetBrains/Arend	28	2	14.00
math-comp/math-comp	28	5	5.60
purescript/purescript	28	2	14.00
egraphs-good/egg	28	2	14.00
EgbertRijke/HoTT-Intro	27	1	27.00
AbsInt/CompCert	27	2	13.50
torvalds/linux	27	2	13.50
github/semantic	27	0
bevyengine/bevy	27	0
ucsd-progsys/liquidhaskell	27	2	13.50
michaelt/martin-lof	27	3	9.00
roc-lang/roc	26	1	26.00
HoTT/book	26	8	3.25
3b1b/manim	26	2	13.00
bgavran/Category_Theory_Machine_Learning	25	1	25.00
andrejbauer/plzoo	25	0
dhall-lang/dhall-lang	25	4	6.25
UniMath/SymmetryBook	25	4	6.25
jart/cosmopolitan	25	0
ziglang/zig	25	3	8.33
RedPRL/redtt	25	2	12.50
mazeppa-dev/mazeppa	25	0
carp-lang/Carp	25	0
llvm/llvm-project	25	2	12.50
zed-industries/zed	25	1	25.00
cedille/cedille	25	0
sharkdp/fd	24	0
leanprover/lean	24	2	12.00
JuliaLang/julia	24	1	24.00
fizruk/rzk	24	0
servo/servo	24	2	12.00
penrose/penrose	24	0
coalton-lang/coalton	24	0
ekmett/lens	24	0
plt-amy/1lab	24	2	12.00
neovim/neovim	24	2	12.00
dandavison/delta	24	0
google-research/dex-lang	24	1	24.00
BurntSushi/ripgrep	24	1	24.00
Andromedans/andromeda	24	0
NixOS/nixpkgs	23	14	1.64
plfa/plfa.github.io	23	12	1.92
WerWolv/ImHex	23	0
kanaka/mal	23	1	23.00
idris-lang/Idris-dev	23	7	3.29
agda/agda-stdlib	23	7	3.29
edwinb/Idris2	23	3	7.67
mattam82/Coq-Equations	23	4	5.75
haskell/haskell-language-server	23	1	23.00
LeventErkok/sbv	23	0
jfecher/ante	23	0
Wilfred/difftastic	23	0
microsoft/mimalloc	22	0
jwiegley/category-theory	22	4	5.50
msp-strath/TypOS	22	0
OpenLogicProject/OpenLogic	22	0
rui314/mold	22	0
HigherOrderCO/Bend	22	0
lampepfl/dotty	22	1	22.00
augustss/MicroHs	22	2	11.00
DioxusLabs/dioxus	22	1	22.00
junegunn/fzf	22	0
aya-prover/aya-dev	22	1	22.00