Similar repositories to ShinKage/nvim-idris2:
ShinKage/nvim-idris2
github
similar
gibiansky/IHaskell
github
similar
folke/lazy.nvim
github
similar
danistefanovic/build-your-own-x
github
similar
motemen/gore
github
similar
Stability-AI/stablediffusion
github
similar
stefan-hoeck/idris-fix-whitespace
github
similar
tootsuite/mastodon
github
similar
tuvtran/project-based-learning
github
similar
expnkx/fast_io
github
similar
Eugeny/terminus
github
similar
k6io/k6
github
similar
krassowski/jupyterlab-lsp
github
similar
brendanzab/language-garden
github
similar
ostera/serde.ml
github
similar
acheong08/ChatGPT
github
similar
fathyb/carbonyl
github
similar
lencx/ChatGPT
github
similar
maximecb/uvm
github
similar
intel/x86-simd-sort
github
similar
jackMort/ChatGPT.nvim
github
similar
teaxyz/cli
github
similar
karpathy/nanoGPT
github
similar
shaunlebron/parinfer
github
similar
ska80/idris2-server
github
similar
Zdancewic/owl
github
similar
Gavinok/cl-site-gen
github
similar
stefan-hoeck/idris2-eff
github
similar
ocaml-flambda/ocaml
github
similar
aligrudi/neatpop3
github
similar
MarcelineVQ/idris2-curl
github
similar
ohad/katla
github
similar
groupoid/anders
github
similar
pepe/jff
github
similar
brantou/inf-crystal.el
github
similar
MarcelineVQ/idris2-sarray
github
similar
Z-snails/Idris2-hashable
github
similar
robinspollak/LambdaCalculusInterpreters
github
similar
charJe/funds
github
similar
yveszoundi/eglot-java
github
similar