leon

🧠 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.

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

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

🐳 Docker CI image for Leon projects.

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.

🖋️ Blog of Leon.

📰 The collaborative logger of 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

Website for the talented musician Leon Braje

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

Leon is a one page portfolio website. This website is built using HTML, CSS, and JavaScript.

ALERTA AMBER AAMX794

This repository is a UI implementation of a Leon template