leo

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

📄 Documentation for Leo 🦁

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

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

IBM Space Tech - Space Situational Awareness

LENS: A LEO Satellite Network Measurement Dataset

LEO Satellite Constellation Measurement & Visualization for Starlink / OneWeb

Unofficial Starlink GeoIP Dataset

Pytorch Implemtation of Meta-Learning with Latent Embedding Optimization

Telegram dating bot Michalangelo(Michi), an analog of Daivinchik(Leo). The bot is intended for making new acquaintances, including friendly ones.

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!

Risk-aware multi-agent deep reinforcement learning for packet routing in ultra-dense LEO satellite networks

A user-friendly, extensible Python-based simulator for analyzing routing algorithms in LEO satellite constellations

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.

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

Leo docs in Chinese | 释狮大会

Deployment Guide of OpenAirInterface (OAI) NTN using RFSim GEO and LEO satellite Scenarios