6 results found Sort:

ProvableHQ
leo ProvableHQ
661
4.8k
gpl-3.0
36
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
leo compiler zksnarks zero-knowledge programming-language
Created 2020-03-10
7,362 commits to mainnet branch, last one 6 days ago
ProvableHQ
welcome ProvableHQ
217
323
gpl-3.0
20
👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀
leo aleo zksnarks blockchain zero-knowledge
Created 2020-05-22
1,731 commits to master branch, last one 2 months ago
leoneedpro
instagram-parser leoneedpro
118
176
gpl-3.0
17
Парсер аккаунтов подписчиков и подписок в Instagram на основе прокрутки списков
leo cool parser instagram javascript instagram-bot instagram-like instagram-follower
Created 2017-03-19
51 commits to master branch, last one 2 years ago
kaleguy
leovue kaleguy
26
166
unknown
10
Use the LEO outlining editor to create a Vue.js webapp.
leo vue outliner tree-based content-management knowledge-management static-site-generator
Created 2017-03-26
757 commits to master branch, last one 5 years ago
IBM
spacetech-ssa IBM
24
106
apache-2.0
24
IBM Space Tech - Space Situational Awareness
leo space orbit-predictions
This repository has been archived (exclude archived)
Created 2020-08-05
29 commits to master branch, last one 3 years ago
aleoswap-labs
aleoswap aleoswap-labs
13
32
apache-2.0
2
The core program of AleoSwap (a decentralized exchange built on the Aleo blockchain)
dex leo aleo uniswap
Created 2023-06-13
19 commits to main branch, last one about a year ago