7 results found Sort:
- Filter by Primary Language:
- JavaScript (2)
- Python (2)
- Rust (1)
- +
π¦ 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
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
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
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
LENS: A LEO Satellite Network Measurement Dataset
Created
2024-02-01
28 commits to master branch, last one about a month ago