Similar repositories to cau-placc/ghc-language-plugin:

• cau-placc/ghc-language-plugin github similar
• fwcd/vscode-curry github similar
• xeruf/softwarechallenge2018-client github similar
• cau-placc/pakcs github similar
• fabianvdW/rust_swcl github similar
• fwcd/project-lighthouse-haskell github similar
• fwcd/swift-prolog github similar
• fwcd/llcurry github similar
• rpkak/sc-client-python github similar
• H1ghBre4k3r/lighthouse.js github similar
• matthesjh/rewriting-curry github similar
• cau-placc/curry-ghc-language-plugin github similar
• beje8442/haskellToCoqCompiler github similar
• niklasCarstensen/socha-client-csharp github similar
• nikohass/rust-socha2021 github similar
• jberryman/what-it-do github similar
• jan-christiansen/Language-based-Security github similar
• wwu-pi/muli github similar
• team-omnicore/socha-client-2022 github similar
• dhil/hx github similar
• finnteegen/pflp github similar
• lambdabot/IOSpec github similar
• TOPLLab/GraphRedex github similar
• fbanados/research-howto github similar
• FalconsSky/Software-Challenge-Python-Client github similar
• leftaroundabout/beamonad github similar
• hsfl-pltp/fp-companies-sh-hh github similar
• fwcd/curry-language-server github similar
• LightAndLight/ipso github similar
• ankitku/TAL0 github similar
• tommikaikkonen/zippa github similar
• lf94/paizo-programmer github similar
• Lysxia/advent-of-coq-2021 github similar
• anko/txm github similar
• FreeProving/free-compiler github similar
• kutyel/optics.js github similar
• matthewsot/SharpSwift github similar
• actions/setup-haskell github similar
• lzear/ubahnchen github similar
• polux/lambda-diagrams github similar