skar0 Goto Github PK

bddii

Code des TPs de Bases de Données II

fire-detection

Forest fire detection using Convolutional Neural Networks

gamesolver

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

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

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).

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

reseau

Code pour les TPs de réseau

scala

Several Scala test codes

sddii

Hidden surface removal using the painter’s algorithm

simu

Projet de simulation

spore

SPORE: Symbolic Partial sOlvers for REalizability

starter-academic

starter-academic-1

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

time_series

Time series forecasting models for web traffic forecasting

tlsf2gpg

wowchemy-hugo-modules

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