Similar repositories to minad/omega:

• gibiansky/IHaskell github similar
• cartazio/omega github similar
• minad/omega github similar
• batterseapower/outside-in github similar
• aquynh/capstone github similar
• sdiehl/unirewrite github similar
• banacorn/mini-pascal github similar
• motemen/gore github similar
• nomeata/list-fusion-probe github similar
• tel/rho github similar
• jyp/TTNameBinders github similar
• spl/jhc github similar
• nikivazou/club_de_science github similar
• nikivazou/prover github similar
• jfischoff/llvm-quasi github similar
• dmwit/limph github similar
• UU-ComputerScience/ruler-systems github similar
• harpocrates/Prolog-Interpreter github similar
• hvr/jhc github similar
• ezyang/groom github similar
• k6io/k6 github similar
• konn/checkerz github similar
• nikivazou/CMSC498V github similar
• kmicklas/pyrec github similar
• JoeyEremondi/helium github similar
• harpocrates/Fun github similar
• pikajude/explain github similar
• suhailshergill/lambdapi github similar
• brownplt/ovid github similar
• junjihashimoto/hugs-js github similar
• GaloisInc/anastasia github similar
• Robert0812/ptparser github similar
• typelead/eta-benchmarks github similar
• travitch/iiglue github similar
• futurice/fum2github github similar
• thumphries/desugar github similar
• conal/reification-rules github similar
• conal/reify-core-examples github similar
• batterseapower/cps-core github similar
• celer/mouse github similar