Jake-Gillberg/rspace-xstream Jake-Gillberg/rspace-xstream

  • Stars
    star
    1
  • Language
    Scala
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Jake-Gillberg/rspace-xstream
github

Jake-Gillberg

Reviews

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

Repository Details

Default XStream serialization for RChain's RSpace

More Repositories

1

git-vote

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

dev-environment

A dockerized RChain development environment
Vim Script
6
star
3

Pi-Proofs

Sangiorgi Pi Calculus in Idris
Coq
2
star
4

kframework-env

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