GitHub repos by pirapira
5 public repos by pirapira in the catalog, most starred first.
- pirapira/awesome-ethereum-virtual-machineStars: 851Beta
- pirapira/bambooStars: 323OCamlAlpha
- pirapira/ethereum-formal-verification-overviewStars: 295Alpha
- pirapira/eth-isabelleStars: 245IsabellePrototype
- pirapira/coq2rustStars: 226OCamlPrototype