a00012025

a00012025's Stars

• coollabsio/coolify

  An open-source & self-hostable Heroku / Netlify / Vercel alternative.

  Language:PHP25.9k991.4k1.3k

• google/wire

  Compile-time Dependency Injection for Go

  Language:Go12.6k112236613

• GoogleCloudPlatform/terraformer

  CLI tool to generate terraform files from existing infrastructure (reverse Terraform). Infrastructure to Code

  Language:Go12.1k1407791.6k

• google/or-tools

  Google's Operations Research tools:

  Language:C++10.7k3022.9k2.1k

• m1k1o/neko

  A self hosted virtual browser that runs in docker and uses WebRTC.

  Language:Go5.9k49272449

• zyddnys/manga-image-translator

  Translate manga/image 一键翻译各类图片内文字 https://cotrans.touhou.ai/

  Language:Python4.6k40499473

• go-redsync/redsync

  Distributed mutual exclusion lock using Redis for Go

  Language:Go3.2k2581309

• ledgerwatch/erigon

  Ethereum implementation on the efficiency frontier

  Language:Go3k562.6k1k

• supermacro/neverthrow

  Type-Safe Errors for JS & TypeScript

  Language:TypeScript2.7k1310969

• mehcode/config-rs

  ⚙️ Layered configuration system for Rust applications (with strong support for 12-factor applications).

  Language:Rust2.4k20254206

• diptomondal007/GoLangBooks

  A list of best books which are needed to be a specialist in golang

  925362343

• succinctlabs/sp1

  A performant, 100% open-source, contributor-friendly zkVM.

  Language:Rust8033678218

• mouseless-eth/rusty-sando

  Implementation of a competitive v2/v3 multi-meat MEV sandwich bot written using Rust and Huff.

  Language:Rust7393440254

• lambdaclass/lambdaworks

  lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

  Language:Rust58010230123

• a16z/jolt

  The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

  Language:Rust5762596104

• DelphinusLab/zkWasm

  Language:Rust463164390

• darkforestry/amms-rs

  A Rust library to interact with automated market makers across EVM chains.

  Language:Rust377118697

• Uniswap/UniswapX

  🦄 Gasless ERC20 swap settlement protocol 🦄

  Language:Solidity355185073

• RareSkills/solidity-riddles

  A collection of Solidity security exercises and puzzles to test your knowledge of Solidity's more esoteric features. Some are easy, and some are exceptionally challenging.

  Language:Solidity26617182

• replicase/pgcapture

  A scalable Netflix DBLog implementation for PostgreSQL

  Language:Go19411430

• aszepieniec/stark-anatomy

  Tutorial for STARKs with supporting code in python

  Language:Python1814848

• recmo/uint

  Rust Uint crate using const-generics

  Language:Rust162619237

• trailofbits/vscode-weaudit

  Create code bookmarks and code highlights with a click.

  Language:TypeScript157102414

• daimo-eth/p256-verifier

  P256 signature verification solidity contract

  Language:Solidity14341128

• 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:Go11112367

• Lightprotocol/light-protocol

  Next-gen zkLayer for Solana

  Language:Rust1008814

• passkeys-4337/smart-wallet

  Simple implementation of an ERC-4337 contract wallet controlled by Passkeys

  Language:TypeScript7531816

• 0xPolygonZero/zk_evm

  Language:Rust671311420

• worldcoin/mpc-uniqueness-check

  MPC Uniqueness Check

  Language:Rust441308

• montekki/thaler-study

  Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'

  Language:Rust12302