Similar repositories to rchain/mobile-process-calculi-for-blockchain:

• rchain/mobile-process-calculi-for-blockchain github similar
• danistefanovic/build-your-own-x github similar
• tootsuite/mastodon github similar
• KentShikama/Rosette-VM github similar
• MrChico/krho github similar
• Isaac-DeFrain/rholang github similar
• rchain-community/behavr github similar
• Isaac-DeFrain/KFramework github similar
• rchain/Rosette github similar
• RChain-Collaborative-Learning/Introduction-to-the-Design-of-Computational-Calculi github similar
• rchain/architecture-docs github similar
• JoshOrndorff/nth-caller-game github similar
• leithaus/Rosette github similar
• pigworker/ProgrammerCommaCon github similar
• rchain/reference github similar
• MaiaVictor/absal-ex github similar
• leithaus/SpecialK github similar
• JoshOrndorff/LearnRholangByExample github similar
• rchain/bounties github similar
• Soonad/Whitepaper github similar
• ProofSystem/Encyclopedia github similar
• urbit/arvo github similar
• diffusionkinetics/open github similar
• grin-compiler/ghc-grin github similar
• jtbm37/all-the-icons-dired github similar
• chrisdone/duet github similar
• MaiaVictor/abstract-algorithm github similar
• lepisma/org-books github similar
• dckc/awesome-ocap github similar
• dotphiles/dotsync github similar
• dylanaraps/pash github similar
• takaxp/org-tree-slide github similar
• rchain/rchain github similar
• islandoftex/arara github similar
• tweag/funflow github similar
• theam/haskell-do github similar
• berzerk0/BEWGor github similar
• xyz2tex/svg2tikz github similar
• teejee2008/ukuu github similar
• timbod7/haskell-chart github similar