Frédéric Jouault's repositories

Language:PrologStargazers:2Issues:0Issues:0

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

assistant-notifier

Plugin pour faire lire du texte au Google Home

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

atl-courseware

Course material for teaching ATL

License:NOASSERTIONStargazers:0Issues:2Issues:0

cassowary-java

A pure Java implementation of the Cassowary constraint algorithm, and an Android ViewGroup layout manager that uses it.

Language:JavaLicense:NOASSERTIONStargazers:0Issues:2Issues:0
Language:XtendStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0

eclipse-collections-kata

Collections Kata

Language:JavaStargazers:0Issues:2Issues:0

esphome

ESPHome is a system to control your ESP8266/ESP32 by simple yet powerful configuration files and control them remotely through Home Automation systems.

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

game-programming-patterns

Source repo for the book

License:NOASSERTIONStargazers:0Issues:0Issues:0

incquery-examples-cps

A comprehensive example showing off VIATRA features on a Cyber Physical System modeling domain

Language:JavaLicense:EPL-1.0Stargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:0Issues:0

node-lgtv-api

Node.js API for the remote control of LG SmartTV (2012+)

License:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

ttc2017LiveContest

Case resources of the TTC 2017 Live contest

Language:C#License:MITStargazers:0Issues:3Issues:0

ttc2018liveContest

The repository for the TTC 2018 Live Contest

Language:JavaLicense:MITStargazers:0Issues:0Issues:0

ttc2019-live

Live contest for TTC2019: BibtexXML to Docbook consistency

Language:JavaLicense:MITStargazers:0Issues:0Issues:0

ttc2023-kmehr2fhir

The TTC 2023 KMEHR to FHIR case

License:MITStargazers:0Issues:0Issues:0

xtext-xtend

xtext-xtend

Language:JavaStargazers:0Issues:0Issues:0