🦁 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)

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

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

LENS: A LEO Satellite Network Measurement Dataset

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 | 释狮大会

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

Unofficial Starlink GeoIP Dataset

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.