Similar repositories to MrChico/krho:

• MrChico/krho github similar
• differentialderek/rholang github similar
• Isaac-DeFrain/rholang github similar
• rchain-community/behavr github similar
• rchain/mobile-process-calculi-for-blockchain github similar
• rchain/Rosette github similar
• RChain-Collaborative-Learning/Introduction-to-the-Design-of-Computational-Calculi github similar
• Isaac-DeFrain/KFramework github similar
• rchain/architecture-docs github similar
• rewriting/tom github similar
• JoshOrndorff/LearnRholangByExample github similar
• rchain/reference github similar
• leithaus/SpecialK github similar
• bmstu-iu9/refal-5-lambda github similar
• chessai/theseus github similar
• Kappa-Dev/KappaTools github similar
• runtimeverification/iele-semantics github similar
• kframework/kore github similar
• Gabriel439/Haskell-Typed-Spreadsheet-Library github similar
• dckc/awesome-ocap github similar
• johnyf/tool_lists github similar
• rntz/datafun github similar
• tweag/funflow github similar
• timbod7/haskell-chart github similar
• rchain/rchain github similar
• sweirich/pi-forall github similar
• chipsalliance/firrtl github similar
• agentm/project-m36 github similar
• egison/egison github similar
• chrisdone/intero github similar
• clash-lang/clash-compiler github similar
• andrejbauer/plzoo github similar
• ohanhi/elm-native-ui github similar
• withoutboats/notty github similar
• koka-lang/koka github similar
• antoyo/relm github similar
• FStarLang/FStar github similar
• typelead/eta github similar
• idris-lang/Idris-dev github similar
• seL4/seL4 github similar