Similar repositories to andrevidela/dependent-types-tutorial:
danistefanovic/build-your-own-x
github
similar
andrevidela/dependent-types-tutorial
github
similar
jfdm/olaf-lang
github
similar
madman-bob/idris2-python
github
similar
jameshaydon/idris-elixir
github
similar
stefan-hoeck/idris2-elab-util
github
similar
jyp/nano-Agda
github
similar
leanprover/lean2
github
similar
andorp/order-taking
github
similar
kayceesrk/ocaml5-tutorial
github
similar
AccelerateHS/accelerate-llvm
github
similar
Mesabloo/diagnose
github
similar
kbuzzard/xena
github
similar
eashanhatti/peridot
github
similar
slovnicki/pLam
github
similar
AndrasKovacs/smalltt
github
similar
thma/WhyHaskellMatters
github
similar
granule-project/granule
github
similar
mortberg/cubicaltt
github
similar
azzamsa/awesome-lisp-companies
github
similar
jsoftware/jsource
github
similar
LekKit/RVVM
github
similar
the-little-typer/pie
github
similar
kowainik/relude
github
similar
JetBrains/Arend
github
similar
justinethier/cyclone
github
similar
namin/inc
github
similar
veka41/neut
github
similar
eudoxia0/cmacro
github
similar
edwinb/Idris2-boot
github
similar
graninas/software-design-in-haskell
github
similar
AbstractMachinesLab/caramel
github
similar
hamler-lang/hamler
github
similar
rougier/elegant-emacs
github
similar
andrejbauer/plzoo
github
similar
cksystemsteaching/selfie
github
similar
koka-lang/koka
github
similar
jozefg/learn-tt
github
similar
diku-dk/futhark
github
similar
idris-lang/Idris2
github
similar