Similar repositories to danelahman/lograc-2022:

• danelahman/lograc-2022 github similar
• emilyriehl/721 github similar
• dylnb/esslli2015-monads github similar
• RobertHarper/hott-notes github similar
• pamellies/models-of-programming-languages github similar
• andrejbauer/notes-on-realizability github similar
• namin/metaprogramming github similar
• jespercockx/agda-lecture-notes github similar
• edwinb/idris2-vim github similar
• mikeshulman/catlog github similar
• cs3110/materials-2020sp github similar
• thehottgame/TheHoTTGame github similar
• smlnj/smlnj github similar
• ImperialCollegeLondon/formalising-mathematics-2022 github similar
• llelf/icfp2020-papers github similar
• HoTT/EPIT-2020 github similar
• racket/scribble github similar
• martinescardo/HoTTEST-Summer-School github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• mattearnshaw/lawvere github similar
• jameshaydon/lawvere github similar
• DSLsofMath/DSLsofMath github similar
• stedolan/counterexamples github similar
• chrisamaphone/interactive-lp github similar
• andrejbauer/homotopy-type-theory-course github similar
• michaelt/martin-lof github similar
• yallop/effects-bibliography github similar
• BartoszMilewski/Publications github similar
• plfa/plfa.github.io github similar
• google-research/dex-lang github similar
• idris-lang/Idris2 github similar
• dhall-lang/dhall-lang github similar
• matze/mtheme github similar
• norvig/paip-lisp github similar
• bitemyapp/learnhaskell github similar
• kanaka/mal github similar
• MonitorControl/MonitorControl github similar
• google/jax github similar
• JuliaLang/julia github similar