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