Similar repositories to MaximilianAlgehed/DCC:

• MaximilianAlgehed/DCC github similar
• llvmpy/llcc github similar
• SciHS/scihs-docs github similar
• polasek/idris-scientific github similar
• NoxHarmonium/lithium-lang github similar
• granule-project/granule-compiler-llvm github similar
• IntelLabs/flrc-benchmarks github similar
• yveszhang/ldtyping github similar
• madgen/exalog github similar
• nomeata/ghc-core-smallstep github similar
• gmittert/paradise github similar
• gergoerdi/hm-compo github similar
• edwinb/Eff github similar
• dorchard/sessions-in-haskell github similar
• JeremyRubin/MAST github similar
• benjaminselfridge/propcheck github similar
• eugmes/imp github similar
• dorchard/effectful-explanations-talk github similar
• UCSD-PL/nano-smt github similar
• pigworker/Frank github similar
• lanl/APPFL github similar
• dorchard/effects-as-sessions github similar
• geisha-lang/Geisha github similar
• GaloisInc/lean-llvm github similar
• aische/typelevel-examples github similar
• Lysxia/metamorph github similar
• jtobin/deanie github similar
• nikivazou/theorem-proving-template github similar
• JukkaL/alore github similar
• kpavery/System-Fo github similar
• philzook58/egglog github similar
• aherrmann/simply_llvm github similar
• camfort/fortran-src github similar
• froozen/kademlia github similar
• beala/symbolic github similar
• ucsd-progsys/mist github similar
• llvm-hs/llvm-hs-typed github similar
• jfaure/lfvm-stg github similar
• TyGuS/hoogle_plus github similar
• nikita-volkov/stm-containers github similar