Unofficial Starlink GeoIP Dataset

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Aibolem Å_$₽€© https://aibolem.github.io/A_SPEc/barion_particles/index.html |||||||| https://aibolem.github.io/A_SPEc/barion_particles/default.htm ||||||| https://aibolem.github.io/A_SPEc/barion_particles/b_uclphys/index.html

(Fr) Site personnel de Léo.t88 - (En) Leo.t88 personal website

This program exemplifies how blockchain technology, combined with cryptographic techniques, can facilitate secure and private communication between users.

👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀

A simple leo contract program I built to claim a reward, reward is transferrable. Reward is in form of tokens

LENS: A LEO Satellite Network Measurement Dataset

Use the LEO outlining editor to create a Vue.js webapp.

Just another UdeG Leo API Wrapper

5G NB-IoT support NTN 非地面網路(衛星通訊)

This is a program about stetps on Leo programming language

Програма Library Management на мові Leo

cad.kcdojrp.com | CAD | https://cad.kcdojrp.com/ | KCDOJRP

Програма на Aleo(мові Leo), яка дозволяє керувати списком покупок.

Aleo Library

This project demonstrates how to connect Leo wallet to a React application without unnecessary packages

Full-stack React-based Quiz Game with score minting and storage in Aleo blockchain.

A simple leo program