sebsalva Goto Github PK
Name: sebastien-salva
Type: User
Company: uca
Location: france
Blog: sebastien.salva.free.fr
sebastien-salva's Projects
academic-kickstart
Easily create a beautiful website using Academic and Hugo
aframe-cv-default
We use AFrame
apset
android application security testing tool
assess
ASSESS is a passive model learning method for IoT device, that infers a system of LTSs (Labelled Transition Systems) from execution traces. Each LTS of the system will represent a different component of the device.
basic-php-mvc
basic and lightweight MVC architecture for my DUT students
cktail
A method that infer models of the different componets of a system.
cktailv2
Implemetnation of the second version of CkTail.
confect
implementation of the COnfECt method, that learns models of component-based systems.
confect-2.0
new implementation of the COnfECt method, that learns models of component-based systems.
conversationextraction
Conversation (a.k.a. session) extraction from event log
domoticz-heatpump-thermostat
Thermostat for domoticz using ESP 8266 and EasyESP as hardware
log-abstraction
Implémentation d'un algorithme d’abstraction de séquences d’évènements de session provenant de log.
maxpv-domoticz
A Lua script for Domoticz servers allowing to control MaxPv
maxpv-relaisext
Routeur Solaire ( PV Router )
mcrawlert
Formal Models generation (guided by exploration strategies) and automatic testing Tool for Mobile application .
mockgen
Mock generation for communicating systems
openthermostat
Thermostat for Heatpump using ESP 8266
openthermostat-1
C++ heat pump manager mentored project focusing on analyzing design and security patterns
pv-discharge-dimmer-ac-dimmer-kit-robotdyn
New model of Wifi Dimmer for distant charge of PV routing, based on the new AC-Dimmer KIT, ESP8266 Wi-Fi D1 Mini for AC 110~240V from Robotdyn
rgbled_controller
RGB Led controller from IR remote
smvmaker
Generate an SMV file from a LTS in dot format, in order to verify some properties with the tool NuSMV.
testability
computes quality metrics (observability, controlability, dependability) of communicating systems
tformat
A tool that transform raw messages into formmated traces with regex
vrvisit
Virtual visit of our IUT from 360° pictures.
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.