gbotrel

gbotrel's Stars

• ajaxorg/ace

  Ace (Ajax.org Cloud9 Editor)

  Language:JavaScript26.7k6133.1k5.3k

• stretchr/testify

  A toolkit with common assertions and mocks that plays nicely with the standard library

  Language:Go23.2k1767961.6k

• FiloSottile/age

  A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.

  Language:Go17.1k149189500

• tinygo-org/tinygo

  Go compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.

  Language:Go15.3k1761.5k900

• google/or-tools

  Google's Operations Research tools:

  Language:C++11.1k3072.9k2.1k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.2k1815.5k1.5k

• angr/angr

  A powerful and user-friendly binary analysis platform!

  Language:Python7.5k1861.9k1.1k

• zcash/zcash

  Zcash - Internet Money

  Language:C++4.9k3703.8k2k

• tetratelabs/wazero

  wazero: the zero dependency WebAssembly runtime for Go developers

  Language:Go4.9k41356253

• antonmedv/expr

  Expression language and expression evaluation for Go

  Language:Go4.8k63271373

• egonelbre/gophers

  Free gophers

  Language:Go3.5k6013175

• loov/lensm

  Go assembly and source viewer

  Language:Go3.4k2217121

• gonum/plot

  A repository for plotting and visualizing data

  Language:Go2.7k59397202

• risc0/risc0

  RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

  Language:C++1.6k52532410

• dominikh/gotraceui

  Go execution trace frontend

  Language:Go1.1k1315428

• cvc5/cvc5

  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

  Language:SMT1k352.6k227

• ingonyama-zk/ingopedia

  A curated list of ZK/FHE resources and links. 👇 Click below for the website version.

  699171182

• mitchellh/reflectwalk

  reflectwalk is a Go library for "walking" complex structures, similar to walking a filesystem.

  Language:Go27681029

• supranational/sppark

  Zero-knowledge template library

  Language:Cuda175142963

• slothy-optimizer/slothy

  Assembly super-optimization via constraint solving

  Language:Assembly1568149

• mitchellh/go-z3

  Go (golang) bindings to the Z3 SMT Solver

  Language:Go1414423

• Consensys/evm-dafny

  An EVM interpreter in Dafny

  Language:Dafny12453745

• binance/zkmerkle-proof-of-solvency

  This is proof of solvency tool for Centralized exchanges built by Binance. Please raise bugs and security issues to https://bugcrowd.com/binance

  Language:Go12113372

• succinctlabs/gnark-plonky2-verifier

  Language:Go856425

• asn-d6/zkalc

  A web tool that helps you compare and visualize the performance of cryptographic operations

  Language:JavaScript53008

• z-prize/2022-entries

  ZPrize 2022 - All qualified entries

  Language:Rust502321

• aclements/go-z3

  Bindings for the Z3 SMT solver

  Language:Go283313

• lvella/polynomial-solver

  Solves systems of polynomial equations.

  Language:Rust282161

• AztecProtocol/ignition-verification

  Repository to verify contributions to the AZTEC Ignition ceremony

  Language:JavaScript12667

• guild-of-zk/pairing-bench

  7301