Similar repositories to math-fehr/lucy-mlir:

• math-fehr/lucy-mlir github similar
• doublescale/rastermizer github similar
• codyroux/hoare-toy github similar
• opencompl/lean-mlir github similar
• dwrensha/lean4-maze github similar
• nachivpn/nbe-course github similar
• siddhartha-gadgil/Saturn github similar
• vabal/vabal github similar
• LightAndLight/qtt github similar
• csabahruska/jhc-components github similar
• mit-pdos/perennial github similar
• grin-compiler/ghc-whole-program-compiler-project github similar
• iu-parfunc/gibbon github similar
• adamgundry/type-inference github similar
• grin-compiler/ghc-grin github similar
• countvajhula/rigpa github similar
• ApoorvaJ/EasyTab github similar
• andrewrk/HellOS github similar
• ermine-language/ermine github similar
• ekmett/quine github similar
• fabianschuiki/llhd github similar
• ekmett/guanxi github similar
• AndrasKovacs/smalltt github similar
• minad/corfu github similar
• antalsz/hs-to-coq github similar
• quchen/stgi github similar
• PrincetonUniversity/VST github similar
• lehins/massiv github similar
• AndrasKovacs/elaboration-zoo github similar
• eashanhatti/peridot github similar
• quil-lang/quilc github similar
• IntelLabs/flrc github similar
• conal/concat github similar
• ProofGeneral/PG github similar
• higham/what-is github similar
• granule-project/granule github similar
• egraphs-good/egg github similar
• mortberg/cubicaltt github similar
• weston-embedded/uC-OS3 github similar
• ystael/chicago-ug-math-bib github similar