leon

Here are 17 public repositories matching this topic...

leon-ai / leon

🧠 Leon is your open-source personal assistant.

nodejs python bot text-to-speech ai chatbot artificial-intelligence speech-synthesis assistant speech-recognition personal-assistant speech-to-text leon flite voice-assistant virtual-assistant deepspeech

Updated Jul 29, 2020
JavaScript

epfl-lara / stainless

Star

Verification framework and tool for higher-order Scala programs

scala verification z3 formal-methods inox smt leon cvc4

Updated Aug 14, 2020
HTML

leon-ai / docs.getleon.ai

Star

📝 Main documentation of Leon.

documentation docs vuejs vue leon vuepress

Updated Aug 7, 2020

Yusef-Naser / Leon

Star

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 / getleon.ai

Star

🌐 Website of Leon.

website vuejs vue nuxt nuxtjs leon

Updated May 7, 2019
Vue

leon-ai / leon-ci-image

Star

🐳 Docker CI image for Leon projects.

docker continuous-integration ci leon

Updated Mar 10, 2019
Dockerfile

jcdubois / moth

Star

Minimalist cooperative operating system supporting multiple tasks with MMU protection

embedded operating-system sparc mmu microkernel leon cooperative-multitasking moth separation-kernel

Updated Feb 15, 2020
C

leon-ai / blog.getleon.ai

Star

🖋️ Blog of Leon.

blog news hexo leon

Updated May 6, 2019
CSS

leon-ai / leon-logger

Star

📰 The collaborative logger of Leon.

logger nlu expressjs dataset leon

Updated May 4, 2019
JavaScript

ianhom / LEON

Star

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

embedded network leon lite-engine

Updated Oct 13, 2017
C

ravimad / Orb2015

Star

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

ArthurDelamare / leon-cli

Star

A CLI to create, upgrade packages and other features

nodejs cli leon leon-cli

Updated Apr 26, 2020
JavaScript

MarauderXtreme / leon

Star

Website for the talented musician Leon Braje

music jekyll website singer leon braje foundation6

Updated Oct 2, 2018
CSS

CERT-MX / MX-794

Star

ALERTA AMBER AAMX794

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

Updated Apr 8, 2017

maurocivi / lg_leon_h320_kernel

Star

Official LG Leon H320 kernel source

android lg kernel-source leon

Updated May 1, 2020
C

leonzhang51 / leonzhang51.github.io

Star

portfolio-website leon

Updated Jul 14, 2020
HTML

am-Leon / LeonImageView

Star

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 Jul 28, 2020
Java

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

Learn more