nanne007

Shadowrocket

On-Chain-Investigations-Tools-List

Here we discuss how one can investigate crypto hacks and security incidents, and collect all the possible tools and manuals! PRs are welcome! If any tool is missing - please open PR!

constantine

Constantine: modular, high-performance, zero-dependency cryptography stack for proof systems and blockchain protocols.

sui-lending-protocol

An over collateralized lending protocol on SUI network

monitors4codegen

Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multispy` is a lsp client library in Python intended to be used to build applications around language servers.

es6_maps

ES6-like shorthand syntax for Elixir maps: `%{foo, bar} = map; IO.puts(foo)`

Yi-1.5

Yi-1.5 is an upgraded version of Yi, delivering stronger performance in coding, math, reasoning, and instruction-following capability.

era-zkevm_circuits

sp1-reth

A performant, type-1 zkEVM written in Rust & SP1.

CloudflareSpeedTest

🌩「自选优选 IP」测试 Cloudflare CDN 延迟和速度，获取最快 IP ！当然也支持其他 CDN / 网站 IP ~

Loop

Window management made elegant.

freeze

Generate images of code and terminal output 📸

passkey-rs

A framework for defining Webauthn Authenticators that support passkeys

rauthy

OpenID Connect Single Sign-On Identity & Access Management

Asynchronous-Programming-in-Rust

Asynchronous Programming in Rust, published by Packt

asitop

Perf monitoring CLI tool for Apple Silicon

cargo-generate

cargo, make me a project

zk_evm

Spectre

ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol

carbonbot

A command line tool based on the crypto-crawler library.

grok-1

Grok open release

halo2-verifier.move

A set of tooling of halo2 circuits verification in Move environments

bellpepper

SNARK Circuit library

Reef

Reef: A zkSNARK system for proving that a committed document matches a regex

lambdaworks

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

plonkish_basefold

bellpepper-gadgets

A library of gadgets compatible with bellpepper and bellperson

blobstreamx

Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.

barretenberg

espresso-polygon-zkevm-demo