
repos
18
ecosystems
4
languages
7
commits
238
─── top repos · by commits
─── repositories
18 totalAmarna is a static-analyzer and linter for the Cairo programming language.
Create code bookmarks and code highlights with a click.
Interactive documentation on zero-knowledge proof systems and related primitives.
Run Rust lints from dynamic libraries
StarkNet support extension for VSCode. Visualize StarkNet contracts: view storage variables, external and view functions, and events.
Leighton-Micali Hash-Based Signatures, for Go
SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results
A static analyzer and linter for the Circom zero-knowledge DSL
Guidelines and training material to write secure smart contracts
StarkNet smart contract fuzzer
Starknet Ecosystem Dashboard
Publications from Trail of Bits
Trail of Bits Testing Handbook - appsec.guide
Github action for the Amarna static analyzer
Guidelines and training material to write secure smart contracts
Starknet Ecosystem Dashboard
Starknet Ecosystem Dashboard
Starknet Ecosystem Dashboard
─── peer developers
─── languages
- TypeScript5
- Python3
- Rust3
- HTML1
- Go1
- Solidity1
- Shell1
─── subscriber view
Unlock the full view of fcasal
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.



















