Jake-Gillberg/dev-environment Jake-Gillberg/dev-environment

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    Vim Script
  • License
    MIT License
  • Created over 7 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Jake-Gillberg/dev-environment
github

Jake-Gillberg

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A dockerized RChain development environment

More Repositories

1

git-vote

Chrome extension for voting on github issues using an ERC20 token
JavaScript
6
star
2

Pi-Proofs

Sangiorgi Pi Calculus in Idris
Coq
2
star
3

kframework-env

k5 (kframework) installation with vim goodies
Vim Script
1
star
4

rspace-xstream

Default XStream serialization for RChain's RSpace
Scala
1
star