Pinned Repositories
AnimUML
agda
Agda is a dependently typed programming language / interactive theorem prover.
assistant-notifier
Plugin pour faire lire du texte au Google Home
atl-courseware
Course material for teaching ATL
cassowary-java
A pure Java implementation of the Cassowary constraint algorithm, and an Android ViewGroup layout manager that uses it.
demo-ATLC
docs
eclipse-collections-kata
Collections Kata
esphome
ESPHome is a system to control your ESP8266/ESP32 by simple yet powerful configuration files and control them remotely through Home Automation systems.
KM3-logic
fjouault's Repositories
fjouault/KM3-logic
fjouault/agda
Agda is a dependently typed programming language / interactive theorem prover.
fjouault/assistant-notifier
Plugin pour faire lire du texte au Google Home
fjouault/atl-courseware
Course material for teaching ATL
fjouault/cassowary-java
A pure Java implementation of the Cassowary constraint algorithm, and an Android ViewGroup layout manager that uses it.
fjouault/demo-ATLC
fjouault/docs
fjouault/eclipse-collections-kata
Collections Kata
fjouault/esphome
ESPHome is a system to control your ESP8266/ESP32 by simple yet powerful configuration files and control them remotely through Home Automation systems.
fjouault/game-programming-patterns
Source repo for the book
fjouault/incquery-examples-cps
A comprehensive example showing off VIATRA features on a Cyber Physical System modeling domain
fjouault/incremental-class2relational-ceptre
fjouault/node-lgtv-api
Node.js API for the remote control of LG SmartTV (2012+)
fjouault/SampleVulnerableDriverModel
fjouault/SmartHomeCaseStudy
fjouault/ttc2017LiveContest
Case resources of the TTC 2017 Live contest
fjouault/ttc2018liveContest
The repository for the TTC 2018 Live Contest
fjouault/ttc2019-live
Live contest for TTC2019: BibtexXML to Docbook consistency
fjouault/ttc2023-kmehr2fhir
The TTC 2023 KMEHR to FHIR case
fjouault/xtext-xtend
xtext-xtend