─── team / organization
ProvableHQ
@ProvableHQ
─── top repos · by stars
─── repositories
30 / 61🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Javascript & Typescript SDK for Zero-Knowledge Application Development
Modular TypeScript wallet adapters and components for Aleo applications.
Integration testing for aleo-setup and aleo-setup-coordinator
A place for everyone to collaborate and communicate: Agendas and meeting notes.
The Aleo bounty descriptions for the EthDenver 2022 hackathon.
Aleo instructions syntax highlighting for Sublime editor
─── top contributors
howardwu
18,657 commits
raychu86
8,107 commits
ljedrz
4,340 commits
d0cd
4,271 commits
mathjazz
4,034 commits
collinc97
3,251 commits
iamalwaysuncomfortable
2,173 commits
vicsn
2,098 commits
niklaslong
1,892 commits
acoglio
965 commits
kaimast
876 commits
gluax
727 commits
Pratyush
626 commits
jules
508 commits
Protryon
478 commits
Roee-87
478 commits
evan-schott
470 commits
NipunaRanasinghe
451 commits
weikengchen
438 commits
kpandl
393 commits
─── ecosystems
─── languages
- Rust14
- TypeScript14
- JavaScript3
- Python3
- Leo2
- Shell1
─── subscriber view
Unlock the full view of ProvableHQ
- · 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.