tbagrel1

Coding since 2011. Fluent in Python, C, Rust, LaTeX. Functional programming. Working on Linux (Kubuntu)

TWEAGFrance (Nancy)

Pinned Repositories

actix_htpasswd
Simple Actix middleware to allow `.htpasswd` authentication
Language:Rust00
cvector
Python-like list for C
Language:C00
datasheet_aggregator_10th
Language:Python1 2 40
genrodin
Simple script to generate easily the structure of a program proof with Rodin (Event-B)
Language:Python2 2 00
gmd
Exercices made during GMD courses at TELECOM Nancy
Language:JavaScript1 2 00
gmd_project
GMD Project made during GMD courses at TELECOM Nancy
Language:Scala3 2 00
i_gotta_go_fast-server
I Gotta Go Fast - Serveur Python Django sur PythonAnywhere.com
Language:Python1 3 00
leac
Compiler for LEAC language - TELECOM Nancy 2019-2020
Language:Java0 2 00
sol-rs
Shutdown On Lan in Rust. Simple client-server system to shutdown distant computers
Language:Rust00
tao_made_simple
Supervision interface for TAO - TELECOM Nancy 2019-2020
Language:PHP10

tbagrel1's Repositories

tbagrel1/gmd_project
GMD Project made during GMD courses at TELECOM Nancy
Language:Scala3 2 00
tbagrel1/genrodin
Simple script to generate easily the structure of a program proof with Rodin (Event-B)
Language:Python2 2 00
tbagrel1/datasheet_aggregator_10th
Language:Python1 2 40
tbagrel1/gmd
Exercices made during GMD courses at TELECOM Nancy
Language:JavaScript1 2 00
tbagrel1/iotlab_mock_api
Mock API for IOTLab
Language:Java1 2 00
tbagrel1/mvsi
Some program proofs using TLA+ and Pluscal, Rodin, and Frama-C
Language:TLA1 2 00
tbagrel1/sensor_alert
Application Android permettant de lire les données de capteurs de luminosité et d'établir un système d'alerting sur les changements d'état des capteurs
Language:Java1 2 00
tbagrel1/setr_project
Final project of SETR Course - TELECOM Nancy 2020/2021
Language:C++1 2 00
tbagrel1/w40k_damage_calculator
Simple calculator for Warhammer 40k unit efficiency
Language:Python1 2 0
tbagrel1/actix_htpasswd
Simple Actix middleware to allow `.htpasswd` authentication
Language:Rust00
tbagrel1/sol-rs
Shutdown On Lan in Rust. Simple client-server system to shutdown distant computers
Language:Rust00
tbagrel1/age-gender-estimation-trcp
Keras implementation of a CNN network for age and gender estimation
Language:Python
tbagrel1/automatic-api
A list of software that turns your database into a REST/GraphQL API
Language:Go0 0
tbagrel1/converter
Swift demo project
Language:Swift
tbagrel1/crs
Cooking recipes system. Made with the love of food
Language:HTML
tbagrel1/deepface-trcp
A Lightweight Face Recognition and Facial Attribute Analysis (Age, Gender, Emotion and Race) Library for Python
Language:Python
tbagrel1/english_data
JSON files for TELECOM Nancy English project
2 01
tbagrel1/faceorienter
Fixes the orientation of images containing faces
Language:Python
tbagrel1/hlint
Haskell source code suggestions
Language:Haskell
tbagrel1/hs-fr-dict
French Dictionary
Language:Nix
tbagrel1/hs-tetris
Tetris implementation in Haskell
Language:Haskell2 01
tbagrel1/hs-word-game
Word game in Haskell
Language:Nix
tbagrel1/iggf
New I Gotta Go Fast implementation using C#
Language:HTML
tbagrel1/lunch
Do you eat with us?
Language:Java
tbagrel1/nixos
NixOS configuration
Language:Nix
tbagrel1/rabbitmq_demo
TELECOM Nancy SDIS project using RabbitMQ
Language:Java
tbagrel1/school_list
Swift demo project
Language:Swift
tbagrel1/tp_setr_esp32
TP SETR sur controlleur ESP32
Language:C2 0
tbagrel1/w40k_damage_stats
Language:Scala1 0
tbagrel1/wiwinwlh
What I Wish I Knew When Learning Haskell
Language:Haskell0 0