@MrChico
github

MrChico

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    199
  • Global Rank 123,732 (Top 5 %)
  • Followers 297
  • Following 39
  • Registered about 10 years ago
  • Most used languages
    JavaScript
         28.6 %
    Emacs Lisp
         14.3 %
    TeX
         14.3 %
    Max     7.1 %
    Solidity
         7.1 %
    Isabelle     7.1 %
    Shell
         7.1 %
    Idris     7.1 %
    Makefile     7.1 %

Top 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

PCO

Max
1
star
14

arduinostuf

JavaScript
1
star