Similar repositories to JanBessai/BCD:

• JanBessai/BCD github similar
• tov/latex-ottalt github similar
• tchajed/spacemacs-coq github similar
• robsimmons/abbot github similar
• plclub/lngen github similar
• Gabriel439/haskell-in-the-large github similar
• uds-psl/coq-library-undecidability github similar
• coq/opam-coq-archive github similar
• BekaValentine/SimpleFP-v2 github similar
• ilyasergey/pnp github similar
• snowleopard/hadrian github similar
• williamdemeo/TypeFunc github similar
• mit-pdos/fscq github similar
• RedPRL/sml-redprl github similar
• ott-lang/ott github similar
• Andromedans/andromeda github similar
• willtim/Expresso github similar
• stedolan/malfunction github similar
• vellvm/vellvm github similar
• cpitclaudel/company-coq github similar
• PrincetonUniversity/VST github similar
• tchajed/coq-tricks github similar
• achlipala/frap github similar
• AndrasKovacs/smalltt github similar
• sweirich/pi-forall github similar
• alexwl/haskell-code-explorer github similar
• mihaimaruseac/hindent github similar
• the-little-typer/pie github similar
• michaelt/martin-lof github similar
• yallop/effects-bibliography github similar
• matijapretnar/eff github similar
• IntelLabs/flrc github similar
• nuprl/10PL github similar
• lexi-lambda/hackett github similar
• plfa/plfa.github.io github similar
• HoTT/HoTT github similar
• haskell/haskell-mode github similar
• andrejbauer/plzoo github similar
• chrisdone/elisp-guide github similar
• livegrep/livegrep github similar