🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
leo 开源项目推荐(137 个)
leo 话题在 GitHub 上没有填写简介,这里按 Star 数汇总最相关的热门仓库。
热门项目 前 20
按 Star 数排序展示前 20 个 · GitHub 共 137 个仓库📄 Documentation for Leo 🦁
Парсер аккаунтов подписчиков и подписок в Instagram на основе прокрутки списков
使用LEO大纲编辑器创建一个Vue.js网页应用。
IBM Space Tech - Space Situational Awareness
LENS: A LEO Satellite Network Measurement Dataset
Starlink / OneWeb 的低地轨道卫星星座测量与可视化
该项目在 GitHub 上没有填写描述
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)
Risk-aware multi-agent deep reinforcement learning for packet routing in ultra-dense LEO satellite networks
5G NB-IoT support NTN 非地面網路(衛星通訊)
🌏 📡 🌏 📡 FORMFLYT - High fidelity orbit propagation for formation flying control in MATLAB!
A user-friendly, extensible Python-based simulator for analyzing routing algorithms in LEO satellite constellations
LonxsLocate · Diseño y análisis de redes satelitales LEO/GEO para la República Dominicana rural · Python + MATLAB + AWS (Lambda, Step Functions, Athena) + Terraform
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 | 释狮大会
关于这个话题
- 清单取自 GitHub 话题页并按 Star 数排序,每次展示前 20 个项目;原始页面见 https://github.com/topics/leo。
- 该话题在 GitHub 上共有 137 个仓库, 本站收录的是其中最热门的 20 个,不是全量列表。
- Star / Fork 每日自动刷新一次,实时数据以 GitHub 为准。
- 当前 20 个项目累计 6150 Star,覆盖 7 种主要语言,数据更新于 2026-11-09。
- 中文介绍来自 GitHub 官方话题说明(github/explore)的机器翻译,可点「查看原文」对照;译文缺失时会先展示原文。