The Wayback Machine - https://web.archive.org/web/20221125171030/https://github.com/topics/leon

#

leon

Here are 22 public repositories matching this topic...

leon

leon-ai / leon

🧠 Leon is your open-source personal assistant.

Updated Nov 20, 2022
JavaScript

epfl-lara / stainless

Verification framework and tool for higher-order Scala programs

scala verification z3 formal-methods inox smt leon cvc4

Updated Nov 25, 2022
HTML

TOXIC-DEVIL / Leon

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

heroku bot instagram telegram whatsapp-web leon whatsapp-bot baileys whatsasena whatsalexa toxic-devil

Updated Aug 8, 2022
JavaScript

docs.getleon.ai

leon-ai / docs.getleon.ai

📝 Main documentation of Leon.

react documentation docs reactjs leon docusaurus

Updated Nov 18, 2022
JavaScript

leon-ai / getleon.ai

🌐 Website of Leon.

react website reactjs nextjs next leon

Updated Nov 1, 2022
TypeScript

Yusef-Naser / Leon

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

swift ios image cocoapods imageview uiimage gesture ios-app swift-framework frame ios-ui leon imageslider imageurl leonimages

Updated Apr 4, 2020
Swift

leon-ai / leon-ci-image

🐳 Docker CI image for Leon projects.

docker continuous-integration ci leon

Updated Nov 6, 2021
Dockerfile

Leon-ImageView

am-Leon / Leon-ImageView

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.

android java imageview picasso viewpager rtl zoomable-images leon customimageview youtube-thumbnail zoomableimageview

Updated Aug 22, 2022
Java

blog.getleon.ai

leon-ai / blog.getleon.ai

🖋️ Blog of Leon.

blog news gatsby leon gatsbyjs

Updated Sep 30, 2022
JavaScript

Mr-MIBonk / Lane-Assistant-60-Seconds

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

Updated Nov 24, 2022

leon-ai / leon-logger

📰 The collaborative logger of Leon.

logger nlu expressjs dataset leon

Updated May 4, 2019
JavaScript

ArthurDelamare / leon-cli

A CLI to create, upgrade packages and other features

nodejs cli leon leon-cli

Updated Mar 26, 2022
JavaScript

ianhom / LEON

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

embedded network leon lite-engine

Updated Oct 13, 2017
C

ravimad / Orb2015

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

scala verification performance-analysis verification-methodologies leon perfomance-verification assertion-checking

Updated Nov 8, 2017
Scala

MarauderXtreme / leon

Website for the talented musician Leon Braje

music jekyll website singer leon braje foundation6

Updated Sep 29, 2020
SCSS

flyskywhy / leon-NES-fpga

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

emulator cpu fpga nes win32 sparc soc leon infones nester pocketnes slnes

Updated May 2, 2022
C

CERT-MX / MX-794

ALERTA AMBER AAMX794

hotel leon 2017 sac cert-mx 29 marzo encontrada kgpdlg33tact comparecio nuevo barrio antiguo highway-359

Updated Apr 8, 2017

3li7u / leon-template

This repository is a UI implementation of a Leon template

javascript css html theme template landing-page leon ali ali-alhussein

Updated Jul 27, 2022
CSS

leonzhang51 / leonzhang51.github.io

portfolio-website leon

Updated Mar 11, 2022
HTML

subsecretaria-tecnologia-nl / ciudadano-tramites

Con esta aplicación se busca unificar todos los trámites disponibles del Gobierno del Estado de Nuevo León. Inicialmente se integran los apartados de ciudadano y notario.

leon nuevo ciudadano notario

Updated Nov 25, 2022
Vue

Improve this page

Add a description, image, and links to the leon topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the leon topic, visit your repo's landing page and select "manage topics."