Similar repositories to MrChico/Smarter-contract-lang:

• MrChico/Smarter-contract-lang github similar
• laserpants/lambdapants github similar
• joonazan/justified-type-inference github similar
• mwpb/idrisCT github similar
• emarzion/Linear-Logic-Proof-Assistant github similar
• ramsdell/agum 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
• RedPRL/sml-redprl github similar
• ziman/lightyear github similar
• Carnap/Carnap github similar
• tweag/monad-bayes github similar
• typedefs/typedefs github similar
• tpolecat/cats-infographic github similar
• agda/agda-stdlib github similar
• mortberg/cubicaltt github similar
• snowleopard/alga github similar
• ucsd-progsys/liquidhaskell github similar
• ivanreese/visual-programming-codex github similar
• HoTT/HoTT github similar
• tikv/raft-rs github similar
• Geal/nom github similar