Similar repositories to MPRI/M2-7-1:

• MPRI/M2-7-1 github similar
• danistefanovic/build-your-own-x github similar
• MPRI/M2-20-2 github similar
• MPRI/M2-6 github similar
• jivimberg/cs243-summary github similar
• MPRI/M2-4-2 github similar
• smtcoq/smtcoq github similar
• RedPRL/cooltt github similar
• coq-community/vscoq github similar
• lexi-lambda/freer-simple github similar
• agda/cubical github similar
• math-comp/math-comp github similar
• llvm/torch-mlir github similar
• ghc-proposals/ghc-proposals github similar
• UniMath/UniMath github similar
• ucsd-progsys/liquidhaskell github similar
• HoTT/HoTT github similar
• yinwang0/pysonar2 github similar
• google/iree github similar
• FStarLang/FStar github similar
• jozefg/learn-tt github similar
• ekmett/lens github similar
• agda/agda github similar
• sdiehl/wiwinwlh github similar
• ghc/ghc github similar
• WebAssembly/spec github similar
• microsoft/verona github similar
• coq/coq github similar
• openai/triton github similar
• marp-team/marp github similar
• estree/estree github similar
• unisonweb/unison github similar
• steshaw/plt github similar
• fkling/astexplorer github similar
• xoreaxeaxeax/movfuscator github similar
• WebAssembly/wabt github similar
• Kindelia/HVM github similar
• facebook/hermes github similar
• aalhour/awesome-compilers github similar
• purescript/purescript github similar