Popular repositories Loading

1. dev-environment dev-environment Public

   A dockerized RChain development environment

   Vim Script 6

2. git-vote git-vote Public

   Chrome extension for voting on github issues using an ERC20 token

   JavaScript 6

3. Pi-Proofs Pi-Proofs Public

   Sangiorgi Pi Calculus in Idris

   Coq 2

4. rspace-xstream rspace-xstream Public

   Default XStream serialization for RChain's RSpace

   Scala 1

5. kframework-env kframework-env Public

   k5 (kframework) installation with vim goodies

   Vim Script 1

6. rosette-rholang-docker rosette-rholang-docker Public

   quick docker container for rosette and rholang

   1