Similar repositories to Bromind/pi-lambda:
Bromind/pi-lambda
github
similar
ice1000/arend-io
github
similar
arend-lang/tutorial-code
github
similar
thautwarm/DianaScript-JIT
github
similar
TOTBWF/agda-tic-tac-toe
github
similar
ziman/itt-idris
github
similar
xnning/MpEff
github
similar
cicada-lang/cicada
github
similar
ice1000/ConsHoTT
github
similar
ice1000/guest0x0
github
similar
jcomellas/ex_hl7
github
similar
vkoskiv/ruoste
github
similar
johnwu1114/chinese-name
github
similar
plclub/hs-to-coq
github
similar
re-xyr/cleff
github
similar
plausiblelabs/lens-rs
github
similar
banacorn/agda-language-server
github
similar
imtsuki/xv7
github
similar
kmill/lean4-raytracer
github
similar
leanprover/vscode-lean
github
similar
kowainik/typerep-map
github
similar
ImperialCollegeLondon/formalising-mathematics-2022
github
similar
idris-community/idris2-lsp
github
similar
ShisoftResearch/Lightning
github
similar
derekelkins/agda-vim
github
similar
agda/agda2hs
github
similar
dtolnay/readonly
github
similar
banacorn/agda-mode-vscode
github
similar
Strumenta/antlr-kotlin
github
similar
Agda-zh/PLFA-zh
github
similar
martinescardo/HoTTEST-Summer-School
github
similar
maekawatoshiki/vicis
github
similar
caotic123/PomPom-Language
github
similar
aya-prover/aya-dev
github
similar
cucapra/calyx
github
similar
jyh1/mmaclone
github
similar
Others/shredder
github
similar
Hoverbear/getset
github
similar
haskell/lsp
github
similar
h0tk3y/better-parse
github
similar