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