Similar repositories to Russoul/Idris2-HoTT:
danistefanovic/build-your-own-x
github
similar
Russoul/Idris2-HoTT
github
similar
tiatomee/toml-idr
github
similar
motemen/gore
github
similar
tuvtran/project-based-learning
github
similar
gibiansky/IHaskell
github
similar
DanBurton/haskell-src-meta
github
similar
leanprover-community/vscode-lean4
github
similar
banacorn/bs-vscode
github
similar
dannypsnl/typed-nanopass
github
similar
thautwarm/panpanneed
github
similar
brendanzab/language-garden
github
similar
mdeloof/statig
github
similar
ostera/serde.ml
github
similar
maxdore/csolver
github
similar
LibreCybernetics/veribase-idr2
github
similar
MarcelineVQ/idris-sqlite3
github
similar
spdegabrielle/Qi-Quickscripts
github
similar
fangyi-zhou/pallvm
github
similar
ashinkarov/2021-extraction-paper
github
similar
andylokandy/TAPL-Idris
github
similar
stefan-hoeck/idris-fix-whitespace
github
similar
thautwarm/typed-jsonrpc
github
similar
logsem/iris-tini
github
similar
thautwarm/Sedlex.jl
github
similar
thautwarm/dot-parser-example
github
similar
sorawee/pprint-compact
github
similar
Z-snails/Idris2-hashable
github
similar
MarcelineVQ/idris2-streaming
github
similar
CodingCellist/idris2-buffered-channels
github
similar
stefan-hoeck/idris2-eff
github
similar
eduardoleon/typhoon
github
similar
JLimperg/msc-thesis-code
github
similar
jeapostrophe/live-free-or-die
github
similar
EgbertRijke/OEIS-A000001
github
similar
racket-templates/cli-command
github
similar
mattpolzin/ncurses-idris
github
similar
gallais/great-library-of-idris
github
similar
gwerbin/tree-sitter-idris2
github
similar
msuperdock/agda-unused
github
similar