Alternatives and similar repositories for refu

Users that are interested in refu are comparing it to the libraries listed below

• juliannagele / ebso
  EVM Bytecode Super Optimizer
  ☆36Updated 4 years ago
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆80Updated this week
• ewasm / benchmarking
  Instructions for benchmarking Ewasm precompiles. (And results.)
  ☆20Updated 4 years ago
• takenobu-hs / haskell-ethereum-assembly
  EVM (Ethereum virtual machine) Assembly on Haskell DSL
  ☆66Updated 6 years ago
• openethereum / pwasm-ethereum
  ☆32Updated 6 years ago
• gstew5 / snarkl
  ☆59Updated 3 years ago
• ConsensusResearch / articles-papers
  Articles and Papers from Consensus Research
  ☆30Updated 9 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• wasmx / wasm-chisel
  Some useful utilities to transform WebAssembly binaries.
  ☆56Updated 4 years ago
• petertodd / python-merbinnertree
  (Summed) Merklized Binary Radix Tree library
  ☆17Updated 8 years ago
• openethereum / wasm-tests
  ☆11Updated 6 years ago
• mmalvarez / eth-isabelle
  A Lem formalization of EVM and some Isabelle/HOL proofs
  ☆33Updated 5 years ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 8 years ago
• dalek-cryptography / dalek-rangeproofs
  This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.
  ☆16Updated 6 years ago
• pirapira / dry-analyzer
  Dr. Y's Ethereum Contract Analyzer
  ☆41Updated 3 years ago
• raineorshine / functional-solidity-language
  A typed, functional language that targets the EVM.
  ☆55Updated 8 years ago
• zooko / hash-function-survey
  a web page / paper
  ☆18Updated 8 years ago
• vladzamfir / PoC
  Basic proof-of-custody library
  ☆7Updated 10 years ago
• paritytech / lunarity
  Lunarity - a Solidity parser in Rust
  ☆54Updated 6 years ago
• kushti / flp
  Formalization of FLP Impossibility Theorem
  ☆18Updated 9 years ago
• corda / msr-vc
  A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto
  ☆18Updated 5 years ago
• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆46Updated 4 years ago
• bitml-lang / bitml-compiler
  Compiler for BitML
  ☆28Updated 3 years ago
• matteocam / pay-to-sudoku-attack
  ☆10Updated 8 years ago
• TrueLevelSA / core-cbc-casper
  MIRROR of https://gitlab.com/TrueLevel/casper/core-cbc
  ☆10Updated 5 years ago
• benjaminion / LLL_docs
  Documentation for the Ethereum LLL compiler
  ☆12Updated last year
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆46Updated 3 years ago
• mariaschett / ppltr
  A PoPuLaToR for a PeePhoLe opTimizeR
  ☆12Updated 3 years ago
• jonspock / cryptopdfs
  Various papers on crypto pertinent to zero knowledge proofs, etc
  ☆24Updated 5 years ago
• LayerXcom / cbc-casper-proof
  Proofs of properties of CBC Casper
  ☆35Updated 5 years ago