Similar repositories to chaudhuri/profound:

• chaudhuri/profound github similar
• thery/PolTac github similar
• ComputerAidedLL/click-and-collect github similar
• uwplse/cheerios github similar
• mietek/hilbert-gentzen github similar
• unicoq/unicoq github similar
• stedolan/ppx_stage github similar
• Beluga-lang/Beluga github similar
• cpitclaudel/alectryon github similar
• astampoulis/makam github similar
• rossberg/1ml github similar
• ott-lang/ott github similar
• cedille/cedille github similar
• typedefs/typedefs github similar
• pikelet-lang/pikelet github similar
• jwiegley/category-theory github similar
• ollef/sixten github similar
• mrakgr/The-Spiral-Language github similar
• ivanreese/visual-programming-codex github similar
• HoTT/HoTT github similar
• ocaml/merlin github similar
• tezos/tezos github similar
• coq/coq github similar
• donnemartin/system-design-primer github similar