🧠 Leon is your open-source personal assistant.
#
leon
Repositories 11
Updated Apr 28, 2019
Dockerfile
Updated Mar 10, 2019
Vue
Updated Apr 17, 2019
JavaScript
Updated Feb 10, 2019
CSS
Updated Apr 24, 2019
Minimalist cooperative operating system supporting multiple tasks with MMU protection
moth
mmu
sparc
cooperative-multitasking
embedded
operating-system
microkernel
leon
separation-kernel
C
Updated Apr 6, 2019
Lite Engine Of Network, also the name of my baby son😄
C
Updated Oct 13, 2017
An inference engine for Leon (https://github.com/epfl-lara/leon) that verifies resource bounds of functional Scala pr…
leon
scala
verification
verification-methodologies
performance-analysis
perfomance-verification
assertion-checking
Scala
Updated Nov 8, 2017
Website for the talented musician Leon Braje
CSS
Updated Oct 2, 2018
ALERTA AMBER AAMX794
29
marzo
2017
encontrada
cert-mx
kgpdlg33tact
comparecio
nuevo
leon
hotel
barrio
antiguo
highway-359
sac
Updated Apr 8, 2017