BuilderGraphAccount

Team / organization

Zellic

@Zellic

23 repos796 stars104 forks72 contributors2 ecosystems

GitHub Request ecosystem report

repos

23

stars

796

forks

104

contributors

72

open issues

20

active 30d

1

Top repos · by stars

Repository leaders

By contributors

Zellic/BitVM43 contribs Zellic/publications7 contribs Zellic/solc-typed-ast6 contribs Zellic/solidity-parser5 contribs Zellic/telescope-webui5 contribs Zellic/telescope4 contribs Zellic/Masamune3 contribs Zellic/EVM-trackooor2 contribs

By forks

Zellic/publications30 forks Zellic/EVM-trackooor23 forks Zellic/Masamune13 forks Zellic/move-prover-examples9 forks Zellic/weth5 forks Zellic/movetool5 forks Zellic/example-ctf-challenge4 forks Zellic/solidity-parser3 forks

Repositories

23 / 23

Zellic/publications

Zellic's audits, publications, and reports

238 stars

30 forks

7 contribs

2 issues

Zellic/EVM-trackooor

A modular tool to track anything on the EVM chain, including real-time tracking and alerts.

GoCosmos Network

188 stars

23 forks

2 contribs

1 issues

Zellic/Masamune

A smart contract security search utility

JavaScriptCosmos Network

76 stars

13 forks

3 contribs

2 issues

Zellic/solidity-parser

Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the solc compiler.

PythonCosmos Network

69 stars

3 forks

5 contribs

5 issues

Formal verification of WETH9.sol with Z3

PythonCosmos Network

59 stars

5 forks

1 contribs

Zellic/move-prover-examples

A gentle, example-based guide to getting started with the Move prover.

MoveCosmos Network

52 stars

9 forks

1 contribs

Zellic/poc-hacks

SolidityCosmos Network

41 stars

3 forks

2 contribs

Zellic/example-ctf-challenge

A self-contained example Ethereum challenge using Paradigm's CTF framework

PythonCosmos Network

33 stars

4 forks

1 contribs

Zellic/movetool

RustCosmos Network

10 stars

5 forks

1 contribs

1 issues

Zellic/DonkeySwap

Intentionally vulnerable Coin swap protocol. DO NOT USE. FOR LEARNING PURPOSES ONLY.

9 stars

1 forks

1 contribs

Zellic/BokkyPooBahsDateTimeLibrary

Formal verification of the popular BokkyPooBah's DateTimeLibrary

SMTCosmos Network

6 stars

3 forks

1 contribs

Zellic/TON-study

TypeScriptCosmos Network

4 stars

0 forks

1 contribs

Zellic/fhe_attacks

attack implementation against FHE

SageCosmos Network

3 stars

1 forks

1 contribs

Zellic/nextjs-template

Typescript, Zod REST APIs, Zod forms, various utilities and boilerplate, EveryLayout based SCSS

TypeScriptCosmos Network

3 stars

2 forks

2 contribs

Zellic/telescope

Telegram enterprise account sovereignty

PythonCosmos Network

3 stars

0 forks

4 contribs

2 issues

Private ERC-20 wrapping and bridging (NOT AUDITED)

JavaScriptCosmos Network

2 stars

2 forks

1 contribs

7 issues

0 stars

0 forks

2 contribs

A Trust-minimized Bitcoin Bridge

0 stars

0 forks

43 contribs

Zellic/confirmation

Use this repository to confirm our payment details

0 stars

0 forks

1 contribs

Zellic/lz-onesig-merkleproof-generator

GoCosmos Network

0 stars

0 forks

2 contribs

Zellic/public-addresses

0 stars

0 forks

1 contribs

Zellic/solc-typed-ast

A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and traverse/manipulate it.

TypeScriptCosmos Network

0 stars

0 forks

6 contribs

Zellic/telescope-webui

TypeScriptCosmos Network

0 stars

0 forks

5 contribs

Top contributors

RobinLinus

RobinLinus

338 commits · 1 repos

blitz-1306

blitz-1306

327 commits · 1 repos

t81lal

t81lal

258 commits · 2 repos

justin-chon

justin-chon

154 commits · 1 repos

avosirenfal

avosirenfal

146 commits · 3 repos

lucidLuckylee

lucidLuckylee

140 commits · 1 repos

cd1m0

cd1m0

109 commits · 1 repos

stillsaiko

stillsaiko

107 commits · 1 repos

joswha

joswha

92 commits · 1 repos

juchon

juchon

87 commits · 1 repos

weikengchen

weikengchen

86 commits · 1 repos

rose4096

rose4096

57 commits · 4 repos

stong

stong

55 commits · 11 repos

chad-mcdonald

chad-mcdonald

43 commits · 1 repos

Hakkush-07

Hakkush-07

38 commits · 1 repos

Arinerron

Arinerron

25 commits · 3 repos

aristotleee

aristotleee

25 commits · 1 repos

sylvainpelissier

sylvainpelissier

24 commits · 1 repos

FatihSolak

FatihSolak

19 commits · 1 repos

justin-elementlabs

justin-elementlabs

16 commits · 1 repos

TheSavageTeddy

TheSavageTeddy

13 commits · 1 repos

StarDumpling

StarDumpling

13 commits · 1 repos

manishbista28

manishbista28

13 commits · 1 repos

Livian420

Livian420

11 commits · 1 repos

ajvpot

ajvpot

11 commits · 4 repos

engn33r

engn33r

10 commits · 1 repos

brownie-in-motion

brownie-in-motion

9 commits · 1 repos

JoranHonig

JoranHonig

7 commits · 1 repos

franklynot

franklynot

6 commits · 1 repos

wz14

wz14

6 commits · 1 repos

Portfolio

Latest commit: 2026-05-15
Archived repos: 1
Fork repos: 2
Contributor slots: 94

Ecosystems

Cosmos Network · 22 Aptos · 1

Languages

Python4
TypeScript4
Go2
JavaScript2
Move2
Rust1
Sage1
SMT1
Solidity1

Subscriber view

Unlock the full view of Zellic

Full repository, commit, and contributor breakdown
Peer graph and ecosystem links
Weekly trend deltas and pulse signal
API and CSV / JSON exports

Subscribe Sign in

Already a subscriber? Sign in with the same email used at checkout.