Discover @chriseth Open Source projects

@chriseth

chriseth

Stars
396
Global Rank 70,680 (Top 3 %)
Followers 1,440
Registered about 10 years ago
Most used languages

Rust
23.1 %

C++
15.4 %

JavaScript
15.4 %

TeX
15.4 %

SMT 7.7 %

Shell
7.7 %

Java
7.7 %

Svelte 7.7 %
Location 🇩🇪 Germany
Country Total Rank 3,680
Country Ranking

SMT 4

Svelte 350

Rust
744

TeX
766

JavaScript
1,060

C++
3,067

Shell
6,617

browser-solidity

Solidity compiler to be run inside a browser

solidity-examples

patricia-trie

notes

Some random notes by chriseth

powdr

an extended polynomial identity language (PIL) in rust

scrypt-interactive

Interactive verification of scrypt computations

pathfinder

risc-powdr

Compiles RISC-V bytecode to powdr assembly

solidity_isola

research

solcsmtr

solcsmtr-benchmarks

circles-components

prcontroltest

qr-demo

Simple Live QR Code Scanner Demo

solidity_smt_workshop

tools

Some useful scripts and configurations

ODA

Organisation Décentralisée Autonome

iulia_mps

solidity-doc-test