Francois Quellec's repositories
PriorityQueue-FormalVerification
An attempt at proving the correctness of a Stainless implementation of theOptimal Purely Functional Priority Queues introduced by Chris Okasaki and Gerth Stølting Brodal
Aeroscan
Anomaly Detection from aerial photography, using Machine Learning
bubbleTweets
A simple Bubble chart representing a list of tweets with forces in D3js v4.
ProceduralMapGeneration
Wave function Collapse to build tilemaps
dashboard-climat
The dashboard is available at https://fquellec.github.io/dashboard-climat/
markdown2slides
Marp Editor build in Vue3 + Vuetify
MultiplayerDemo
Demo Multiplayer LibGDX game using a NodeJS server and Socket.IO for event firing.
SnoopApp
A simple dashboard to analyse different news medias.
Teaching-HEIGVD-RES-2017-Labo-00
First lab for RES 2017: the GitHub workflow with a maven project
Teaching-HEIGVD-RES-2017-Labo-01
Lab on Java IO (file system traversal & filters).
Teaching-HEIGVD-RES-2017-Labo-02
Repo for lab 02 (TCP programming)
Teaching-HEIGVD-RES-2017-Labo-DockerMusic
An introduction to Docker
Teaching-HEIGVD-RES-2017-Labo-SMTP
Lab to experiment with the SMTP protocol (client-side)
test-embedding
test repo