Similar repositories to brownplt/ovid:

• brownplt/ovid github similar
• kazu-yamamoto/network-uri github similar
• batterseapower/outside-in github similar
• gibiansky/IHaskell github similar
• banacorn/mini-pascal 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
• cartazio/omega github similar
• konn/checkerz github similar
• nikivazou/CMSC498V github similar
• kmicklas/pyrec github similar
• brownplt/strobe-old github similar
• duairc/events-fetcher github similar
• sdiehl/unirewrite github similar
• JoeyEremondi/helium github similar
• harpocrates/Fun github similar
• david-christiansen/annotated-wl-pprint github similar
• suhailshergill/lambdapi github similar
• minad/omega github similar
• junjihashimoto/hugs-js github similar
• GaloisInc/anastasia github similar
• typelead/eta-benchmarks github similar
• travitch/iiglue github similar
• thumphries/desugar github similar
• conal/reification-rules github similar
• conal/reify-core-examples github similar
• batterseapower/cps-core github similar
• brownplt/javascript-contracts github similar
• mgsloan/quasi-extras github similar
• ntc2/haskell-call-trace github similar