Similar repositories to sebfisch/explicit-sharing:

• sebfisch/explicit-sharing github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• pixijs/pixi.js github similar
• google/shaka-player github similar
• postalhq/postal github similar
• meilisearch/MeiliSearch github similar
• AkihiroSuda/lima github similar
• sebfisch/tree-monad github similar
• sebfisch/parallel-tree-search github similar
• sebfisch/fair-predicates github similar
• jwiegley/muse github similar
• sebfisch/cflp github similar
• holmuk/coq-zipper github similar
• Ptival/HaysTac github similar
• beje8442/haskellToCoqCompiler github similar
• jan-christiansen/Language-based-Security github similar
• aaronvargo/naperian github similar
• sebfisch/uniqueid github similar
• gregorycollins/cabal2macpkg github similar
• gallais/proof-search-ILLWiL github similar
• ssomayyajula/elab github similar
• andreasabel/shift-reset-dsl github similar
• UU-ComputerScience/uu-cco github similar
• KolodeznyDiver/THEff github similar
• jespercockx/ttac github similar
• Fermat/dependent-fold github similar
• fused-effects/fused-effects-lens github similar
• sebfisch/level-monad github similar
• sebfisch/stream-monad github similar
• rsms/libnt github similar
• mokus0/gamma github similar
• mame/dynamicwind github similar
• finnteegen/pflp github similar
• paf31/purescript-lens-simple github similar
• viercc/matchable github similar
• pa-ba/alacarte-idris github similar
• wouter-swierstra/predicate-transformers github similar
• lukeg101/MScProjectPublic github similar
• dmjio/aoc2017 github similar