Giters
Febby (calldata)

calldata

Geek Repo

81

followers

543

following

1k

stars

Company:OKX

Location:China

Twitter:@jayphbee

Github PK Tool:Github PK Tool

Febby's starred repositories

nova-by-hand

A collection of the Notes on the Nova folding scheme explained from scratch

License:MITStargazers:8Issues:0Issues:0

create4

CREATE4 — easy-to-mine contract addresses with deterministic initcode

Language:SolidityLicense:GPL-3.0Stargazers:6Issues:0Issues:0

novanet

The world's first peer to peer decentralized zero knowledge proof network.

Language:RustStargazers:5Issues:0Issues:0

nexus-zkvm

The Nexus zkVM: The zero-knowledge virtual machine

Language:RustLicense:Apache-2.0Stargazers:138Issues:0Issues:0

rs-merkle

The most advanced Merkle tree library for Rust

Language:RustLicense:MITStargazers:158Issues:0Issues:0

pingora

A library for building fast, reliable and evolvable network services.

Language:RustLicense:Apache-2.0Stargazers:19126Issues:0Issues:0

sp1

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

Language:RustLicense:Apache-2.0Stargazers:652Issues:0Issues:0

ollama

Get up and running with Llama 3, Mistral, Gemma, and other large language models.

Language:GoLicense:MITStargazers:58915Issues:0Issues:0

zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Language:RustLicense:NOASSERTIONStargazers:32282Issues:0Issues:0

anchor-gen

Generates an Anchor CPI crate from a JSON IDL.

Language:RustLicense:Apache-2.0Stargazers:83Issues:0Issues:0

syn

Parser for Rust source code

Language:RustLicense:Apache-2.0Stargazers:2664Issues:0Issues:0

zkbitcoin

zkBitcoin: zero-knowledge proofs on Bitcoin!

Language:RustLicense:MITStargazers:159Issues:0Issues:0

kernel

A Rust-based, lightweight unikernel.

Language:RustLicense:Apache-2.0Stargazers:1057Issues:0Issues:0

bitcoin

Bitcoin Core integration/staging tree

Language:C++License:MITStargazers:75944Issues:0Issues:0

crysol

Elliptic curve cryptography in pure Solidity for on- and offchain operations

Language:SolidityLicense:Apache-2.0Stargazers:41Issues:0Issues:0

zkEVM-Bootcamp

My homework and notes on zkEVM Bootcamp by zkSync and Encode Club

Language:RustStargazers:57Issues:0Issues:0

memory-linked-list

Space-efficient, in-memory, doubly linked lists for solidity

Language:SolidityLicense:MITStargazers:3Issues:0Issues:0

austral

Systems language with linear types and capability-based security.

Language:OCamlLicense:Apache-2.0Stargazers:1032Issues:0Issues:0

solidity-gas-optimization

A extensive list of solidity gas optimization tricks

Stargazers:166Issues:0Issues:0

sstan

Solidity static analyzer

Language:RustStargazers:77Issues:0Issues:0

solstat

A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.

Language:RustStargazers:423Issues:0Issues:0

audits

Database of public audits made by ABDK Consulting

Stargazers:41Issues:0Issues:0

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:SolidityLicense:AGPL-3.0Stargazers:252Issues:0Issues:0

audit-checklist

Aggregated audit checklist

Stargazers:121Issues:0Issues:0

stark-book

STARK book

Language:CSSStargazers:17Issues:0Issues:0

web3-bug-contests-analyze-2023

Language:TeXStargazers:6Issues:0Issues:0

foundry-devops

Language:SolidityStargazers:286Issues:0Issues:0

awesome-advanced-smart-contracts-testing-and-verification

A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.

Stargazers:37Issues:0Issues:0

roundme

Language:RustLicense:AGPL-3.0Stargazers:85Issues:0Issues:0

SuMo-SOlidity-MUtator

A mutation testing tool for Solidity Smart Contracts

Language:JavaScriptLicense:GPL-3.0Stargazers:69Issues:0Issues:0