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