Similar repositories to jwiegley/coq-haskell:

• jwiegley/coq-haskell github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• RobertHarper/hott-notes github similar
• antalsz/hs-to-coq github similar
• uhub/awesome-coq github similar
• tootsuite/mastodon github similar
• coq-community/coq-ext-lib github similar
• aquynh/capstone github similar
• coq-community/math-classes github similar
• nomeata/ghc-proofs github similar
• clarus/coq-chick-blog github similar
• discus-lang/iron github similar
• mattam82/Coq-Equations github similar
• valis/hoq github similar
• jwiegley/coq-pipes github similar
• sweirich/tal github similar
• hecrj/iced github similar
• shaunlebron/parinfer github similar
• jwiegley/category-theory github similar
• nomeata/veggies github similar
• ott-lang/ott github similar
• DeepSpec/InteractionTrees github similar
• sweirich/corespec github similar
• dschepler/coq-sequent-calculus github similar
• ilya-klyuchnikov/ttlite github similar
• ilyasergey/pnp github similar
• copumpkin/categories github similar
• tchajed/coq-tricks github similar
• DeepSpec/dsss17 github similar
• Ptival/PeaCoq github similar
• pixijs/pixi.js github similar
• Eloston/ungoogled-chromium github similar
• MetaCoq/metacoq github similar
• CoqEAL/CoqEAL github similar
• mortberg/yacctt github similar
• TheoWinterhalter/formal-type-theory github similar
• sifive/Kami github similar
• nomeata/inspection-testing github similar
• GeoCoq/GeoCoq github similar