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

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

Парсер аккаунтов подписчиков и подписок в Instagram на основе прокрутки списков

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

IBM Space Tech - Space Situational Awareness

Pytorch Implemtation of Meta-Learning with Latent Embedding Optimization

The core program of AleoSwap (a decentralized exchange built on the Aleo blockchain)

LENS: A LEO Satellite Network Measurement Dataset

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

🌏 📡 🌏 📡 FORMFLYT - High fidelity orbit propagation for formation flying control in MATLAB!

Toggles the police radio animation when the PTT key for your voice application is pushed.

This is a PDOP-driven Scheduler for Optical Inter-Satellite Links enabled Global Navigation Satellite Systems.

2D/3D orbit plots implemented in MATLAB, useful for demonstrations that need constellation plotting.

Leo docs in Chinese | 释狮大会

Unofficial Starlink GeoIP Dataset

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

NodeJS Websearch CLI

Just another UdeG Leo API Wrapper

LEO panic button for FiveM's ESX Framework that uses command/item & UI with realistic sounds.