Similar repositories to stelleg/cem_coq:

• stelleg/cem_coq github similar
• aquynh/capstone github similar
• danistefanovic/build-your-own-x github similar
• paf31/purescript-lens-simple github similar
• viercc/matchable github similar
• gdevanla/pandoc-markdown-ghci-filter github similar
• SimonBoulier/TypingFlags github similar
• omelkonian/rewrite-inspector github similar
• thery/T2048 github similar
• xavierleroy/coq2html github similar
• jespercockx/popl19-tutorial github similar
• palmskog/coq-program-verification-template github similar
• christian-marie/servant-purescript github similar
• dmbaturin/hope github similar
• bobatkey/CS316-18 github similar
• marick/purescript-lenses github similar
• cohomolo-gy/Isomorphic-Reasoning github similar
• damien-pous/relation-algebra github similar
• plclub/cis670-16fa github similar
• tchajed/coq-record-update github similar
• llelf/icfp2019-papers github similar
• anuyts/agda-sessions github similar
• maybevoid/casimir github similar
• anton-trunov/coq-lecture-notes github similar
• TOTBWF/tactic-haskell github similar
• affeldt-aist/monae github similar
• paulyoung/pureswift github similar
• ucsd-progsys/liquidhaskell-tutorial github similar
• coq-community/manifesto github similar
• tchajed/goose github similar
• coq-community/coq-art github similar
• dorlowd/haskell-servant-realworld-example-app github similar
• isovector/suavemente github similar
• jyp/nano-Agda github similar
• polysemy-research/polysemy-zoo github similar
• jules-hedges/open-games-hs github similar
• sellout/yaya github similar
• puffnfresh/heroku-buildpack-haskell github similar
• well-typed/visualize-cbn github similar
• algas/haskell-servant-cookbook github similar