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

• UpdatedMar 17, 2025
• Rust

📄 Documentation for Leo 🦁

• UpdatedFeb 25, 2025
• Mermaid

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

• UpdatedApr 29, 2022
• JavaScript

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

• UpdatedMar 11, 2025
• JavaScript

IBM Space Tech - Space Situational Awareness

• UpdatedMar 2, 2021
• Python

Pytorch Implemtation of Meta-Learning with Latent Embedding Optimization

• UpdatedJun 2, 2020
• Python

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

• UpdatedOct 23, 2023

LENS: A LEO Satellite Network Measurement Dataset

• UpdatedJan 11, 2025
• Python

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

• UpdatedJul 15, 2022
• MATLAB

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

• UpdatedSep 5, 2024
• MATLAB

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

• UpdatedMar 13, 2025
• Python

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

• UpdatedDec 20, 2021
• MATLAB

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

• UpdatedJun 20, 2022
• MATLAB

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

• UpdatedSep 25, 2019
• Lua

Leo docs in Chinese | 释狮大会

• UpdatedJun 17, 2018
• HTML

Unofficial Starlink GeoIP Dataset

• UpdatedMar 18, 2025
• Python

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

• UpdatedMay 10, 2024
• TypeScript

NodeJS Websearch CLI

• UpdatedMar 7, 2016
• JavaScript

Just another UdeG Leo API Wrapper

• UpdatedSep 6, 2024
• TypeScript

• UpdatedAug 6, 2023
• Kotlin