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

LENS: A LEO Satellite Network Measurement Dataset

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

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

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.

NodeJS Websearch CLI

LEO panic button for FiveM's ESX Framework that uses command/item & UI with realistic sounds.

Aleo Contract for driving encryption key management on a communications platform.

Various userstyles for various sites that do various things.