The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
-
Updated
Feb 27, 2026 - Rust
#
leo
Here are 89 public repositories matching this topic...
Language: All
Filter by language
Sort: Most stars
Sort options
Parser akkauntov podpischikov i podpisok v Instagram na osnove prokrutki spiskov
-
Updated
Apr 29, 2022 - JavaScript
Use the LEO outlining editor to create a Vue.js webapp.
-
Updated
Feb 17, 2026 - JavaScript
LENS: A LEO Satellite Network Measurement Dataset
-
Updated
Nov 19, 2025 - Python
Pytorch Implemtation of Meta-Learning with Latent Embedding Optimization
-
Updated
Jun 2, 2020 - Python
Telegram dating bot Michalangelo(Michi), an analog of Daivinchik(Leo). The bot is intended for making new acquaintances, including friendly ones.
i18n redis postgres sqlalchemy telegram telegram-bot matching postgresql dating peewee leo leonardo dating-app tgbot aiogram aiogram3 dating-bot telegram-dating-bot
-
Updated
Feb 14, 2026 - Python
5G NB-IoT support NTN Fei Di Mian Wang Lu (Wei Xing Tong Xun )
networking satellite antenna communications leo mmwave 5g mmwave-5g-networks nb-iot lso low-earth-orbit ntn mmwave-communication b5g 3gpp-r16 non-terrestrial-networks 3gpp-r15
-
Updated
Sep 5, 2024 - MATLAB
FORMFLYT - High fidelity orbit propagation for formation flying control in MATLAB!
-
Updated
Jul 15, 2022 - MATLAB
This is a PDOP-driven Scheduler for Optical Inter-Satellite Links enabled Global Navigation Satellite Systems.
kepler gnss leo scheduling-algorithms minimum-spanning-tree low-earth-orbit degree-constrained inter-satellite-links
-
Updated
Apr 25, 2025 - MATLAB
Risk-aware multi-agent deep reinforcement learning for packet routing in ultra-dense LEO satellite networks
reinforcement-learning deep-learning leo routing-algorithm multi-agent-systems starlink risk-aware satellite-network
-
Updated
Dec 31, 2025 - Python
FY-3 (FengYun-3) MWRI L1 (FY-3D/F/G/H) & MWHS L1 (FY-3D/E/F/H) & PMR L2 (FY-3G) reader
-
Updated
Nov 8, 2025 - Python
Improve this page
Add a description, image, and links to the leo topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the leo topic, visit your repo's landing page and select "manage topics."