7 results found Sort:

663
4.8k
gpl-3.0
37
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Created 2020-03-10
7,401 commits to mainnet branch, last one 16 hours ago
πŸ“„ Documentation for Leo 🦁
Created 2020-05-22
1,872 commits to master branch, last one 22 hours ago
ΠŸΠ°Ρ€ΡΠ΅Ρ€ Π°ΠΊΠΊΠ°ΡƒΠ½Ρ‚ΠΎΠ² подписчиков ΠΈ подписок Π² Instagram Π½Π° основС ΠΏΡ€ΠΎΠΊΡ€ΡƒΡ‚ΠΊΠΈ списков
Created 2017-03-19
51 commits to master branch, last one 2 years ago
26
166
unknown
10
Use the LEO outlining editor to create a Vue.js webapp.
Created 2017-03-26
757 commits to master branch, last one 5 years ago
25
110
apache-2.0
24
IBM Space Tech - Space Situational Awareness
This repository has been archived (exclude archived)
Created 2020-08-05
29 commits to master branch, last one 3 years ago
13
33
apache-2.0
2
The core program of AleoSwap (a decentralized exchange built on the Aleo blockchain)
Created 2023-06-13
19 commits to main branch, last one about a year ago
0
26
gpl-3.0
4
LENS: A LEO Satellite Network Measurement Dataset
Created 2024-02-01
28 commits to master branch, last one about a month ago