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