Similar repositories to joonazan/justified-type-inference:

• joonazan/justified-type-inference github similar
• MrChico/Smarter-contract-lang github similar
• laserpants/lambdapants github similar
• mwpb/idrisCT github similar
• emarzion/Linear-Logic-Proof-Assistant github similar
• ramsdell/agum github similar
• jdevuyst/dependable-data-structures github similar
• leftaroundabout/linearmap-family github similar
• brunjlar/protop github similar
• lambdageek/freer-church github similar
• i-am-tom/LICK github similar
• langston-barrett/write-yourself-a-scheme-in-agda github similar
• valis/hoq github similar
• TheoWinterhalter/formal-type-theory github similar
• Mzk-Levi/texts github similar
• andrejbauer/marshall github similar
• Carnap/Carnap github similar
• RedPRL/sml-redprl github similar
• ziman/lightyear github similar
• tweag/monad-bayes github similar
• tpolecat/cats-infographic github similar
• agda/agda-stdlib github similar
• mortberg/cubicaltt github similar
• ollef/sixten github similar
• HoTT/HoTT github similar