leo

There are 1 repository under leo topic.

• leo

  ProvableHQ / leo

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

  compilerleoprogramming-languagezero-knowledgezksnarks
  Language:Rust 4790

• ProvableHQ / welcome

  👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀

  aleoleozero-knowledgeblockchainzksnarks
  319

• leoneedpro / instagram-parser

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

  instagramparserinstagram-botjavascriptleocoolinstagram-followerinstagram-like
  Language:JavaScript 174

• kaleguy / leovue

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

  vueoutlinercontent-managementstatic-site-generatorleotree-basedknowledge-management
  Language:JavaScript 165

• IBM / spacetech-ssa

  IBM Space Tech - Space Situational Awareness

  orbit-predictionsleospace
  Language:Python 104

• timchen0618 / pytorch-leo

  Pytorch Implemtation of Meta-Learning with Latent Embedding Optimization

  meta-learningmachine-learningpytorch-implementationpython3leo
  Language:Python 47

• aleoswap-labs / aleoswap

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

  aleodexleouniswap
  32

• ANDREWNGT / FORMFLYT

  :earth_asia: :satellite: :earth_asia: :satellite: FORMFLYT - High fidelity orbit propagation for formation flying control in MATLAB!

  astrodynamicsformationflyingformationsleoorbitssatellitesspacecraft
  Language:MATLAB 17

• clarkzjw / LENS

  LENS: A LEO Satellite Network Measurement Dataset

  latencymeasurementstarlinkleo
  Language:Python 16

• brian09088 / NB-IoT-support-for-NTN

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

  communicationslow-earth-orbitnb-iotnetworkingnon-terrestrial-networkssatellite3gpp-r153gpp-r165gantennaleontnb5glsommwavemmwave-5g-networksmmwave-communication
  Language:MATLAB 15

• Deziel0495 / PTTPoliceRadio

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

  fivempttdiscordteamspeakgtavgta5radioleopolice-radio-animationanimationptt-key
  Language:Lua 14
• OGNSS_scheduler

  andreanardin / OGNSS_scheduler

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

  gnssscheduling-algorithmsminimum-spanning-treekeplerleolow-earth-orbitinter-satellite-linksdegree-constrained
  Language:MATLAB 12

• DebugUself / leo-editor-cn

  Leo docs in Chinese | 释狮大会

  leotranslationdocs
  Language:HTML 11

• santiagohenn / globe-orbit-plot

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

  constellationsatellite3dleomatlaborbitplot
  Language:MATLAB 9

• liolikus / QuizGame

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

  aleoleoreact
  Language:TypeScript 6

• arosboro / newsletter

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

  aleoleotestnet3
  Language:Makefile 4

• HarukaMa / leo-intellij-plugin

  aleointellij-pluginleo
  Language:Kotlin 4

• mstruebing / web-s

  NodeJS Websearch CLI

  leocliredditstackoverflowtwittersearchwebsearchterminal
  Language:JavaScript 4

• Ruu3f / brave-leo

  Use the Leo AI assistant by Brave anywhere!

  aiartificial-intelligencebravebrave-apileollamallama2python
  Language:Python 4

• TheLastZombie / userstyles

  Various userstyles for various sites that do various things.

  5ilerbashbeolingusdict-ccibashimdbitchleoqdbsankakustackoverflowtypo3userstyle
  4

• alvwashere / alv_panicbutton

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

  esxfivemfreeleopanicbuttonpolice
  Language:Lua 3
• aru

  CarlosNunezMX / aru

  Just another UdeG Leo API Wrapper

  apileoudeguniversidad-de-guadalajarawrappersiiauleo-siiauleo-udgsiiau-2siiau2
  Language:TypeScript 3

• piedraprog / escuela-de-nada-api

  API REST sobre el podcast Escuela de Nada

  apirestfullchrisleonachonodejspodcastescuela-de-nada
  Language:JavaScript 3

• xiaomi-classic-dev / android_kernel_xiaomi_leo_old

  This is the kernel source for Mi Note Pro.

  kernelxiaomileo
  Language:C 3

• eferbarn / Leo-Lottery

  ♌️ A simple lottery app built on the top of the Lovely Leo Programming Ecosystem!

  aleoleoleo-language
  Language:Shell 2

• satyambnsal / leolearnings

  Leo Educational resources

  aleoblockchainleozero-knowledge
  Language:TypeScript 2

• BLIPNTU / LEO

  Language Experience Overview (LEO) PDF Report Generator using Python

  pythonreport-generatorleolanguageprofile
  Language:Python 1

• leo-t-88 / leo-t-88.github.io

  (Fr) Site personnel de Léo.t88 - (En) Leo.t88 personal website

  githubleo
  Language:HTML 1

• MTDOJRP / cad.kcdojrp.com

  cad.kcdojrp.com | CAD | https://cad.kcdojrp.com/

  cadcountydispatchdojfivemgtagtavkcdojrpkcrpkellyleoroleplaysixwebsite
  Language:DIGITAL Command Language 1

• s9a / feels.ink

  △ got feels? come thunder lion water. express yourself.

  cazimicephalopodcuttlefishhaloheartinkleolionoctopodoctopusporpoisesquid
  Language:HTML 1
• virtual-assistant

  tirtharajsinha / virtual-assistant

  Virtual assistance/chatbot using python.

  python3chatbotchat-applicationvirtualassistantleoweb-scraping
  Language:Python 1

• clarkzjw / starlink-geoip-data

  geoipleostarlink

• LOFT228 / -Library-Management-Leo-LML-

  Програма Library Management на мові Leo

  aleocoinbasedappleozkp

• LOFT228 / Aleo-shopping_list

  Програма на Aleo(мові Leo), яка дозволяє керувати списком покупок.

  aleoleoshellzero-knowledge

• LOFT228 / RandomOperationsLeo

  aleodeployleoprovablerandomzkp

• LOFT228 / StepTarckerAleo

  This is a program about stetps on Leo programming language

  aleofuturesleoprivateprogrammingweb3zero-knowledgezkzkp