chriseth/powdr chriseth/powdr

  • Stars
    star
    15
  • Rank 1,367,913 (Top 28 %)
  • Language
    Rust
  • Created almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
chriseth/powdr
github

chriseth

Reviews

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

Repository Details

an extended polynomial identity language (PIL) in rust

More Repositories

1

browser-solidity

Solidity compiler to be run inside a browser
JavaScript
136
star
2

solidity-examples

95
star
3

patricia-trie

61
star
4

notes

Some random notes by chriseth
JavaScript
20
star
5

scrypt-interactive

Interactive verification of scrypt computations
10
star
6

pathfinder

C++
9
star
7

risc-powdr

Compiles RISC-V bytecode to powdr assembly
Rust
3
star
8

solidity_isola

TeX
3
star
9

research

3
star
10

solcsmtr

Rust
2
star
11

solcsmtr-benchmarks

SMT
1
star
12

circles-components

Svelte
1
star
13

prcontroltest

1
star
14

qr-demo

Simple Live QR Code Scanner Demo
1
star
15

solidity_smt_workshop

TeX
1
star
16

tools

Some useful scripts and configurations
Shell
1
star
17

ODA

Organisation Décentralisée Autonome
1
star
18

iulia_mps

Java
1
star
19

solidity-doc-test

C++
1
star