🧠 Leon is your open-source personal assistant.

Verification framework and tool for higher-order Scala programs

Leon is a simple WhatsApp Bot. Don't forget to give a star ✨️

📝 Main documentation of Leon.

🌐 Website of Leon.

This parameters extends the Lane Assistant from 3Q098065x Frontcamera to 60 seconds until the first warning 😎

Leon is swift library to show and slid images with more gesture

Created to be unique.

🐳 Docker CI image for Leon projects.

🖋️ Blog of Leon.

Leon is an android library written to makes it easy for the programmer to display a set of images in a simple way using Picasso.

📰 The collaborative logger of Leon.

🎨 Aurora - The UI bricks that power up Leon

Lite Engine Of Network, also the name of my baby son😄

An inference engine for Leon (https://github.com/epfl-lara/leon) that verifies resource bounds of functional Scala programs

A CLI to create, upgrade packages and other features

SLNES, a fast and portable NES emulator even can run on LEON SPARC CPU inside FPGA in 2005, base on InfoNES nester and PocketNES

Website for the talented musician Leon Braje

This repository is a UI implementation of a Leon template

ALERTA AMBER AAMX794