Similar repositories to haslab/HAAP:

• haslab/HAAP github similar
• isabelle-utp/utp-main github similar
• nasa/PRECiSA github similar
• DeepSpec/dsss18 github similar
• kosmikus/lhs2tex github similar
• mpickering/apply-refact github similar
• lukaszcz/coqhammer github similar
• pirapira/eth-isabelle github similar
• kubos/kubos github similar
• benl23x5/gloss github similar
• nick8325/quickcheck github similar
• StanfordPL/stoke github similar
• ocharles/papers github similar
• ndmitchell/shake github similar
• ndmitchell/hlint github similar
• google/haskell-trainings github similar
• haskell/cabal github similar
• rstudio/reticulate github similar
• tensorflow/haskell github similar
• scipr-lab/libsnark github similar
• uber/manifold github similar
• BurntSushi/quickcheck github similar
• leanprover/lean github similar
• Gabriel439/post-rfc github similar
• ejwa/gitinspector github similar
• FStarLang/FStar github similar
• ghcjs/ghcjs github similar
• coq/coq github similar
• ghc/ghc github similar
• sharkdp/insect github similar
• hadley/r4ds github similar
• commercialhaskell/stack github similar
• system-f/fp-course github similar
• facebook/Haxl github similar
• RIOT-OS/RIOT github similar
• voila-dashboards/voila github similar
• steshaw/plt github similar
• cleverhans-lab/cleverhans github similar
• HIPS/autograd github similar
• tensorflow/swift github similar