Similar repositories to bgamari/the-thoralf-plugin:

• bgamari/the-thoralf-plugin github similar
• gibiansky/IHaskell github similar
• mpickering/elaborator-reflection-haskell github similar
• Trebor-Huang/agda-linear github similar
• pixijs/pixi.js github similar
• Eloston/ungoogled-chromium github similar
• DanBurton/runmemo github similar
• inanna-malick/hgit github similar
• chrisdone/caseof github similar
• pepeiborra/gc-benchmarks github similar
• Taneb/net github similar
• wz1000/Haskell-Scheme github similar
• roberth/hinduce-associations-apriori github similar
• JLimperg/msc-thesis-code github similar
• lastland/ClairvoyanceMonad github similar
• ssomayyajula/elab github similar
• JLimperg/well-founded-corecursion github similar
• robrix/abstract-interpretation github similar
• mrkgnao/pico github similar
• lambdabot/IOSpec github similar
• goldfirere/cs380 github similar
• tonyxty/grimoire github similar
• epfl-lara/SystemFR github similar
• mniip/th-tc github similar
• edsko/friendly github similar
• JonasHoefer/scoped-effects-agda github similar
• BebeSparkelSparkel/biparsing github similar
• RobertHarper/hott-notes github similar
• adinapoli/piece-table github similar
• clash-lang/ghc-tcplugins-extra github similar
• futurice/haskell-aws-lambda-kleisli github similar
• RobertHarper/nsml github similar
• Trebor-Huang/combinator-nbe github similar
• pigworker/ProgrammerCommaCon github similar
• hurryabit/pukeko github similar
• mstksg/decidable github similar
• identicalsnowflake/cantor-pairing github similar
• Glavo/kala-lang github similar
• ayberkt/sequents github similar
• phadej/idioms-plugins github similar