─── team / organization
lfglabs-dev
@lfglabs-dev
─── top repos · by stars
─── repositories
30 / 102Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.
StarknetID Cairo Zero naming contract. It allows to resolve a .stark name to an address or an identity. Everything happens on chain.
Contract of the starknet identity base NFT built for compiler version 2.3.0
Built with Cairo, the Utu relay contract securely registers and verifies Bitcoin block data on Starknet, enabling smart contracts to validate Bitcoin transactions and access trust metrics.
A simple web interface allowing anyone to create his own poap SBT on Starknet. https://sbt.starknet.id/
Cairo implementation of the naming contract built for compiler version 2.3.0
Exploring a new kind of tokens on top of Starknet identities
A TypeScript library for reading and interacting with Bitcoin data on Starknet.
A private LLM assistant for crafting ethereum transactions
A typescript SDK to retrieve all the on-chain data that you need from Starknet ID
A component to manage URI base and append a numeric param
An implementation of a checker supporting discord for starknet identity.
─── top contributors
Th0rgal
4,756 commits
irisdv
1,874 commits
Marchand-Nicolas
1,187 commits
fricoben
1,166 commits
ayushtom
509 commits
claude
257 commits
sisou
146 commits
yogh333
72 commits
J4ckyLIM
71 commits
agrojean-ledger
70 commits
yhql
49 commits
emarc99
41 commits
Ayoazeez26
39 commits
snehaa-eth
38 commits
code-stan
33 commits
heyqbnk
32 commits
legend4tech
29 commits
lucemans
27 commits
Ugo-X
25 commits
BlackStarkGoku
24 commits
─── ecosystems
─── languages
- Cairo38
- TypeScript19
- Rust12
- Python11
- JavaScript4
- MDX2
─── subscriber view
Unlock the full view of lfglabs-dev
- · 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.