Similar repositories to mcandre/bedrock:

• mcandre/bedrock github similar
• mcandre/factcheck github similar
• unicoq/unicoq github similar
• andrejbauer/Homotopy github similar
• iquiw/company-ghc github similar
• zielmicha/emacs-android github similar
• UniMath/Foundations github similar
• LoopPerfect/neither github similar
• NuxiNL/cloudlibc github similar
• Andromedans/andromeda github similar
• NetworkBlockDevice/nbd github similar
• sbt/sbt-git github similar
• stp/stp github similar
• 3ofcoins/jetpack github similar
• KDE/clazy github similar
• demikernel/demikernel github similar
• csmith-project/csmith github similar
• UniMath/UniMath github similar
• eligosource/eventsourced github similar
• wartremover/wartremover github similar
• GaloisInc/HaLVM github similar
• morganstanley/hobbes github similar
• HoTT/HoTT github similar
• haskell/haskell-mode github similar
• typelevel/scalacheck github similar
• factor/factor github similar
• opcm/pcm github similar
• leanprover/lean github similar
• IoLanguage/io github similar
• isaacs/minimatch github similar
• scalaz/scalaz github similar
• google/trillian github similar
• bbatsov/projectile github similar
• sds/overcommit github similar
• sorintlab/stolon github similar
• petruisfan/node-supervisor github similar
• cloudius-systems/osv github similar
• coq/coq github similar
• scala-js/scala-js github similar
• apache/mesos github similar