Similar repositories to heades/ott-modified:

• heades/ott-modified github similar
• camfort/fortran-generator github similar
• GuiltyDolphin/angle github similar
• dorchard/lambda-club github similar
• granule-project/granule-project.github.io github similar
• dorchard/sessions-in-haskell github similar
• Lysxia/unparse-attoparsec github similar
• dorchard/co519-logic github similar
• dorchard/betty-book-haskell-sessions github similar
• dorchard/effectful-explanations-talk github similar
• camfort/fortran-src github similar
• coeffects/coeffects-thesis github similar
• dorchard/effects-as-sessions github similar
• granule-project/gerty github similar
• steshaw/lennart-lambda github similar
• AndrasKovacs/implicit-fun-elaboration github similar
• camfort/camfort github similar
• dorchard/type-level-sets github similar
• yallop/ocaml-asp github similar
• idris-hackers/IdrisScript github similar
• jmorag/mcc github similar
• yallop/icfp2014-papers github similar
• grin-compiler/ghc-grin github similar
• jozefg/higher-order-unification github similar
• ott-lang/ott github similar
• Lemmih/lhc github similar
• ollef/sixty github similar
• frank-lang/frank github similar
• granule-project/granule github similar
• haskell/containers github similar
• stedolan/malfunction github similar
• theam/haskell-do github similar
• HoTT/HoTT-Agda github similar
• AndrasKovacs/smalltt github similar
• kcsongor/generic-lens github similar
• facebookincubator/retrie github similar
• uwplse/verdi github similar
• sol/hpack github similar
• pikelet-lang/pikelet github similar
• fused-effects/fused-effects github similar