Similar repositories to pigworker/CS311-classwork-2018:

• pigworker/CS311-classwork-2018 github similar
• mroman42/tannakian-tambara github similar
• TallCats/FunctionalProgramming github similar
• kakkun61/ephemeral-linear-data github similar
• smlnj/smlnj github similar
• inanna-malick/hgit github similar
• dspivak/dependent-types github similar
• dspivak/hysteryOfFormulation github similar
• jonsterling/coq-synthetic-realizability github similar
• aspiwack/haskell-ann github similar
• rampion/rotations-twists-and-plaits github similar
• TallCats/CategoryTheory github similar
• personal-practice/haskell github similar
• fused-effects/fused-effects-system github similar
• agentultra/adventure-engine github similar
• aaronallen8455/hydraulics github similar
• jonsterling/effectful-typesetting github similar
• tweag/linear-constraints github similar
• fumieval/data-functor-logistic github similar
• ryanorendorff/functional-linear-algebra-talk github similar
• msp-strath/ask github similar
• wadler/fp-competition-2021 github similar
• pigworker/Box github similar
• AlgebraicJulia/Poly.jl github similar
• niccoloveltri/agda-gtt github similar
• maxsnew/cubical-cbpv github similar
• HenningTonko/Carrie-Programming-Language github similar
• gallais/thesis github similar
• simonpj/gadts-meet-their-match github similar
• blamario/construct github similar
• masaeedu/co-optics github similar
• ruudkoot/functional-programming github similar
• acertain/trufflestg github similar
• LightAndLight/indexed-paths github similar
• anthonyywangmath/tikzsd github similar
• Icelandjack/idiomatic github similar
• Zekt/Type-Embellishment github similar
• ekmett/compiler github similar
• tweag/ghc-proposals github similar
• conal/denotational-arithmetic github similar