TheoBessel
I'm 21 years old and I really enjoy computer science an particularly the domain of proof assistants ! Computer Science student at ENSEEIHT
Pinned Repositories
AdaPageRanking
Projet N7 : Algorithme de Page Ranking écrit en Ada
AtherisWeb
AtherisWeb is an open-source Web Render Engine project by Théo Bessel
BesselTeX
A small package for page layout on LaTeX.
flacdecode
A little code to read flac files for learning purpose by Theo Bessel
JeuDevin
Projet N7 : Jeu du devin codé en langage Ada
Mandelbrot-C
Projet N7 : Dessiner l'ensemble de Mandelbrot en langage C
SDAda
Projet N7 : Implémentation de structures de données associatives (SDA) en langage Ada
SmartReco
SmartReco is a CNN (Convolutionnal Neural Network) classificator written in C++ lang. Is goal is to identify element in pictures.
StrateonOxygen
Strateon is a polyvalent IDE, it will support lot's of programming languages
TIPE2023
Projet de TIPE pour l'année 2023
TheoBessel's Repositories
TheoBessel/AtherisWeb
AtherisWeb is an open-source Web Render Engine project by Théo Bessel
TheoBessel/SmartReco
SmartReco is a CNN (Convolutionnal Neural Network) classificator written in C++ lang. Is goal is to identify element in pictures.
TheoBessel/StrateonOxygen
Strateon is a polyvalent IDE, it will support lot's of programming languages
TheoBessel/AdaPageRanking
Projet N7 : Algorithme de Page Ranking écrit en Ada
TheoBessel/BesselTeX
A small package for page layout on LaTeX.
TheoBessel/OCamlMPE
Cours OCaml MPE 2021-2022
TheoBessel/TIPE2023
Projet de TIPE pour l'année 2023
TheoBessel/flacdecode
A little code to read flac files for learning purpose by Theo Bessel
TheoBessel/JeuDevin
Projet N7 : Jeu du devin codé en langage Ada
TheoBessel/Mandelbrot-C
Projet N7 : Dessiner l'ensemble de Mandelbrot en langage C
TheoBessel/SDAda
Projet N7 : Implémentation de structures de données associatives (SDA) en langage Ada
TheoBessel/edx-platform
The Open edX LMS & Studio, powering education sites around the world!
TheoBessel/heroku-buildpack-caddy
Heroku buildpack to install Caddy, the fast, cross-platform HTTP/2 web server with automatic HTTPS
TheoBessel/MLServ
A multithread TCP server written from scratch in OCaml for learning purposes
TheoBessel/ProjetTOB
Projet du cours de technologie objet en 1A à l'N7
TheoBessel/TheoBessel
Config files for my GitHub profile.
TheoBessel/web-protocol
a web server from scratch in C++
TheoBessel/XBlock
Framework for building custom learning components that run in the Open edX LMS!
TheoBessel/xblock-sdk
Workbench and example xblocks