Similar repositories to ebresafegaga/tina:

• ebresafegaga/tina github similar
• Tekipeps/json-templater-rs github similar
• peblair/pyret-ocaml github similar
• wangjiezhe/tapl github similar
• bruteforceboy/Advent-Of-Code-2020 github similar
• Tekipeps/fyp github similar
• jozefg/undergraduate-thesis github similar
• stonebuddha/eopl github similar
• chiroptical/thinking-with-types github similar
• dbp/howtoproveacompiler github similar
• EarlGray/language-incubator github similar
• haskellcamargo/papers-to-read github similar
• i-am-tom/learn-me-a-haskell github similar
• prince776/discode github similar
• sweirich/challenge github similar
• lazear/types-and-programming-languages github similar
• stefan-hoeck/idris2-tutorial github similar
• cronokirby/haskell-in-haskell github similar
• 7sharp9/write-you-an-inference-in-fsharp github similar
• koka-lang/libhandler github similar
• bobzhang/ocaml-book github similar
• graninas/The-Voids-Of-Haskell github similar
• pigworker/CS410-17 github similar
• samth/gradual-typing-bib github similar
• jeanqasaur/learn-programming-languages github similar
• mightybyte/monad-challenges github similar
• idris-hackers/software-foundations github similar
• Hirrolot/datatype99 github similar
• agrafix/Spock github similar
• yallop/effects-bibliography github similar
• tssm/up-to-date-real-world-haskell github similar
• ocsigen/js_of_ocaml github similar
• cohomolo-gy/haskell-resources github similar
• hasktorch/hasktorch github similar
• brownplt/pyret-lang github similar
• aantron/dream github similar
• owlbarn/owl github similar
• JasonShin/fp-core.rs github similar
• jozefg/learn-tt github similar
• winitzki/sofp github similar