Similar repositories to MPRI/M2-20-2:

• MPRI/M2-20-2 github similar
• MPRI/M2-7-1 github similar
• danistefanovic/build-your-own-x github similar
• MPRI/M2-4-2 github similar
• smtcoq/smtcoq github similar
• tsoding/haskell-json github similar
• esfx/esfx github similar
• RedPRL/cooltt github similar
• coq-community/vscoq github similar
• lexi-lambda/freer-simple github similar
• typelevel/cats-tagless github similar
• agda/cubical github similar
• math-comp/math-comp github similar
• ghc-proposals/ghc-proposals github similar
• funfix/funfix github similar
• jwiegley/category-theory github similar
• UniMath/UniMath github similar
• ucsd-progsys/liquidhaskell github similar
• Netflix/hollow github similar
• HoTT/HoTT github similar
• typelevel/cats-effect github similar
• tdunning/t-digest github similar
• jozefg/learn-tt github similar
• ekmett/lens github similar
• agda/agda github similar
• sdiehl/wiwinwlh github similar
• FStarLang/FStar github similar
• ghc/ghc github similar
• marp-team/marp github similar
• microsoft/verona github similar
• dhall-lang/dhall-lang github similar
• coq/coq github similar
• korfuri/awesome-monorepo github similar
• snyk/snyk github similar
• tianon/gosu github similar
• facebook/prop-types github similar
• unisonweb/unison github similar
• steshaw/plt github similar
• microsoft/TypeScript-Handbook github similar
• bbatsov/prelude github similar