Similar repositories to bamboo/idris2-lsp-vscode:
bamboo/idris2-lsp-vscode
github
similar
gibiansky/IHaskell
github
similar
meraymond2/idris-vscode
github
similar
idris-community/idris2-lsp
github
similar
k6io/k6
github
similar
danistefanovic/build-your-own-x
github
similar
krassowski/jupyterlab-lsp
github
similar
ohad/collie
github
similar
motemen/gore
github
similar
hecrj/iced
github
similar
leanprover-community/vscode-lean4
github
similar
vishesh/racketscript
github
similar
alexhumphreys/hello-idris2
github
similar
madman-bob/idris2-table
github
similar
shaunlebron/parinfer
github
similar
meraymond2/idris-ide-client
github
similar
CesarBallardini/kl1c
github
similar
racketscript/racketscript-playground
github
similar
Russoul/Idris2-HoTT
github
similar
kasiaMarek/TyRE
github
similar
groupoid/anders
github
similar
bmwant/idris-is-awesome.github.io
github
similar
ShinKage/idris2-nvim
github
similar
isadofschi/combinatorial_nullstellensatz
github
similar
Z-snails/Idris2-hashable
github
similar
clayrat/coherence-spaces
github
similar
bamboo/idris2dart
github
similar
claymager/idris2-pkgs
github
similar
thautwarm/Quick-Backend
github
similar
HarrisonGrodin/agda-modtt
github
similar
RedPRL/ocaml-bwd
github
similar
mattpolzin/ncurses-idris
github
similar
Russoul/Idris2-Effect
github
similar
Zekt/Type-Embellishment
github
similar
mattpolzin/pg-idris
github
similar
benknoble/vim-racket
github
similar
Russoul/Idris2-Lua
github
similar
casvdrest/composable-semantics
github
similar
stefan-hoeck/idris2-dom
github
similar
kbertalan/tyttp
github
similar