Similar repositories to leanprover/lean.vim:
leanprover/lean.vim
github
similar
danistefanovic/build-your-own-x
github
similar
tuvtran/project-based-learning
github
similar
gibiansky/IHaskell
github
similar
hecrj/iced
github
similar
mk12/vim-lean
github
similar
bedrocksystems/cpp2v
github
similar
tlringer/ml-for-proofs
github
similar
bor0/formal-ed
github
similar
chriskempson/base16-vim
github
similar
leanprover-community/vscode-lean4
github
similar
jules-hedges/open-game-engine
github
similar
nvim-lua/kickstart.nvim
github
similar
pixijs/pixi.js
github
similar
postalhq/postal
github
similar
aquynh/capstone
github
similar
natefaubion/purescript-higher-order
github
similar
justinwoo/purescript-expect-inferred
github
similar
nullgemm/ly
github
similar
tootsuite/mastodon
github
similar
Eloston/ungoogled-chromium
github
similar
dannypsnl/inductive
github
similar
wenkokke/polygen
github
similar
raptazure/kweh
github
similar
meilisearch/MeiliSearch
github
similar
lexi-lambda/monad-validate
github
similar
mikeshulman/ohtt
github
similar
oven-sh/bun
github
similar
martinescardo/HoTTEST-Summer-School
github
similar
smlnj/smlnj
github
similar
pabloariasal/protofmt
github
similar
pigworker/SmolCat
github
similar
plt-amy/cubical-methods
github
similar
ronami/HypeScript
github
similar
maxsnew/cubical-cbpv
github
similar
ralsei/six-eyes
github
similar
williamboman/mason.nvim
github
similar
williamboman/mason-lspconfig.nvim
github
similar
robinsloan/spring-83
github
similar
nmvdw/RezkCompletion
github
similar