MrChico/PCO MrChico/PCO

  • Stars
    star
    1
  • Language Max
  • Created almost 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
MrChico/PCO
github

MrChico

Reviews

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

Repository Details

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

krho

Implementation of Rholang in the K framework
Makefile
4
star
7

CompMeta

Exercises in computational metaphysics
Isabelle
4
star
8

Smarter-contract-lang

Idris
3
star
9

rholang-mode

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

LinearDependentTypes

TeX
2
star
11

evmbench

Shell
2
star
12

wasm-mode

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

arduinostuf

JavaScript
1
star