MrChico/krho MrChico/krho

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language Makefile
  • Created almost 7 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
MrChico/krho
github

MrChico

Reviews

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

Repository Details

Implementation of Rholang in the K framework

More Repositories

1

verifyIPFS

Solidity library for verifying IPFS hashes
Solidity
112
star
2

stablecoin.services

A gas free offering of common Dai and Chai operations
JavaScript
33
star
3

Reals-in-agda

Constructive definition of real numbers implemented in agda.
TeX
10
star
4

rnbostuff

JavaScript
6
star
5

massiboston

JavaScript
5
star
6

CompMeta

Exercises in computational metaphysics
Isabelle
4
star
7

Smarter-contract-lang

Idris
3
star
8

rholang-mode

Syntax highlighting and indentation for rholang in emacs
Emacs Lisp
2
star
9

LinearDependentTypes

TeX
2
star
10

evmbench

Shell
2
star
11

wasm-mode

Wasm-mode for editing web assembly code with emacs
Emacs Lisp
1
star
12

PCO

Max
1
star
13

arduinostuf

JavaScript
1
star