Similar repositories to clayrat/idris-datadata:

• clayrat/idris-datadata github similar
• domchristie/turndown github similar
• styzystyzy/Axiom_of_Choice github similar
• quchen/talks github similar
• sellout/Idris-CPDT github similar
• lukesdm/little-braces github similar
• FranckS/RingIdris github similar
• gallais/parseque github similar
• Saizan/miller github similar
• TiarkRompf/minidot github similar
• rking/vim-detailed github similar
• mrkkrp/zip github similar
• gallais/idris-tparsec github similar
• lamdu/hypertypes github similar
• gallais/agdarsec github similar
• stackbuilders/hapistrano github similar
• zjhmale/vscode-idris github similar
• joom/hezarfen github similar
• bamboo/idris-cil github similar
• w7cook/AoPL github similar
• idris-hackers/idris-koans github similar
• idris-hackers/idris-vim github similar
• jackfranklin/dotfiles github similar
• ziman/lightyear github similar
• evertedsphere/silica github similar
• andrejbauer/homotopy-type-theory-course github similar
• lambdatoast/elm.vim github similar
• Andromedans/andromeda github similar
• PProvost/vim-ps1 github similar
• liamoc/learn-you-an-agda github similar
• morphismtech/squeal github similar
• nmattia/snack github similar
• dag/vim2hs github similar
• gelisam/hawk github similar
• chrisbra/vim-diff-enhanced github similar
• jaxbot/github-issues.vim github similar
• AndrasKovacs/smalltt github similar
• stephan-tolksdorf/fparsec github similar
• sweirich/pi-forall github similar
• agda/agda-stdlib github similar