Similar repositories to wadler/fp-competition-2021:

• wadler/fp-competition-2021 github similar
• mroman42/tannakian-tambara github similar
• TallCats/FunctionalProgramming github similar
• dspivak/dependent-types github similar
• dspivak/hysteryOfFormulation github similar
• TallCats/CategoryTheory github similar
• personal-practice/haskell github similar
• pigworker/CS311-classwork-2018 github similar
• msp-strath/ask github similar
• rampion/rotations-twists-and-plaits github similar
• pigworker/Box github similar
• ruudkoot/functional-programming github similar
• AlgebraicJulia/Poly.jl github similar
• conal/denotational-arithmetic github similar
• emilyriehl/721 github similar
• gallais/thesis github similar
• conal/convolution-paper github similar
• leftaroundabout/constrained-categories github similar
• social-anthrax/IADS_algorithms github similar
• RobertHarper/hott-notes github similar
• bobatkey/CS316-2020 github similar
• bobatkey/CS316-18 github similar
• srush/learns-dex github similar
• pigworker/ProgrammerCommaCon github similar
• JacquesCarette/finally-tagless github similar
• andrejbauer/what-is-algebraic-about-algebraic-effects github similar
• llelf/icfp2019-papers github similar
• pamellies/models-of-programming-languages github similar
• andrejbauer/notes-on-realizability github similar
• pigworker/CS410-18 github similar
• sellout/caterwaul github similar
• namin/metaprogramming github similar
• jespercockx/agda-lecture-notes github similar
• conal/talk-2018-deep-learning-rebooted github similar
• awodey/CatLogNotes github similar
• spl/dlist github similar
• mikeshulman/catlog github similar
• ToposInstitute/poly github similar
• OPLSS/introduction-to-algebraic-effects-and-handlers github similar
• thehottgame/TheHoTTGame github similar