Skar0

fire-detection

Forest fire detection using Convolutional Neural Networks

gamesolver

A python tool for solving reachability/safety, parity, weak parity and generalized parity games

spore

SPORE: Symbolic Partial sOlvers for REalizability

time_series

Time series forecasting models for web traffic forecasting

jsonresume-theme-orion-umons

A theme for JSON Resume based on Orbit design

langchain

⚡ Building applications with LLMs through composability ⚡

pareto-rational-verification

Implementation of verification algorithms for the Pareto-Rational Verification problem (PRV problem).

reseau

Code pour les TPs de réseau

sddII

Hidden surface removal using the painter’s algorithm

bddII

Code des TPs de Bases de Données II

simu

Projet de simulation

generalizedparity

Algorithms presented in the paper 'Partial Solvers for Generalized Parity Games' published in RP'19

itr

Code des TPs d'informatique en temps réel

proba

Projet de calcul des probabilités et théorie des erreurs

prografonct

Code des TPs de programmation fonctionnelle

prolog

Solutions des TPs de Prolog

scala

Several Scala test codes

starter-academic

starter-academic-1

🎓 Easily create a beautiful academic résumé or educational website using Hugo, GitHub, and Netlify

tlsf2gpg

wowchemy-hugo-modules

🔥 The website builder for Hugo. Build and deploy a beautiful website in minutes!