Similar repositories to mayconamaro/awesome-cs:
mayconamaro/awesome-cs
github
similar
awseward/beautiful-racket
github
similar
mayconamaro/ringell
github
similar
alhassy/org-agda-mode
github
similar
otherjoel/try-pollen
github
similar
andrejbauer/homotopy-type-theory-course
github
similar
agda/agda-categories
github
similar
EgbertRijke/HoTT-Intro
github
similar
FormalTheology/GoedelGod
github
similar
ltcmelo/psychec
github
similar
michaelt/martin-lof
github
similar
tomprimozic/type-systems
github
similar
dmjio/miso
github
similar
system-f/fp-course
github
similar
sarabander/sicp
github
similar
alexanderepstein/Bash-Snippets
github
similar
resume/resume.github.com
github
similar