Similar repositories to heades/System-F-Coq:

• heades/System-F-Coq github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• aquynh/capstone github similar
• RobertHarper/hott-notes github similar
• mathandley/RTick github similar
• ReactTraining/react-router github similar
• nachivpn/coherence github similar
• jonsterling/itt-bidirectional github similar
• MatthewStein/adrenalina github similar
• jonsterling/lcf-sequent-calculus-example github similar
• mietek/imla2017 github similar
• stefaniatadama/inductive_types github similar
• bobatkey/sorting-types github similar
• rodrigogribeiro/idrisregexp github similar
• RedPRL/sml-cats github similar
• jozefg/miniprl github similar
• pigworker/WhatRTypes4 github similar
• QuickChick/Luck github similar
• ilya-klyuchnikov/epigram1 github similar
• wilcoxjay/miniprl-coq github similar
• jdukes/csharp-shell-mode github similar
• gavlegoat/simulation github similar
• bmsherman/topology github similar
• shlevy/cat-fiat github similar
• domchristie/turndown github similar
• armoredsoftware/session github similar
• postalhq/postal github similar
• edx/edx-platform github similar
• hughfdjackson/abattoir github similar
• folktale/text.pretty-printing github similar
• andrewthad/lens-prelude github similar
• rrnewton/linear-cursors github similar
• Lysxia/coq-recursion-schemes github similar
• heliaxdev/witch github similar
• ezyang/groom github similar
• wenkokke/side-effects-in-english github similar
• owickstrom/writing-a-screencast-video-editor-in-haskell github similar
• haskell-implementations/yhc github similar
• kwf/Presburger github similar