Skip to content
View TheoBessel's full-sized avatar
📟
Playing with ARM chips
📟
Playing with ARM chips
37 followers · 48 following

Highlights

  • Pro

Organizations

@TOLOSAT @inp-net

Block or report TheoBessel

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. ARMv7-M_Stacktrace ARMv7-M_Stacktrace Public

    This project is part of the TOLOSAT flight software, which I am currently developing. The goal is to create a Fault Detection, Isolation, and Recovery (FDIR) mechanism for robust fault management.

    C

  2. TOLOSAT/FOCACCIA TOLOSAT/FOCACCIA Public

    FOCACCIA, Flatsat Operations Center And Command Control Interface Application

    Java 2

  3. SystemF_TIPE SystemF_TIPE Public

    This project focuses on the System F (aka. polymorphic lambda calculus) typed lambda calculus and its applications in the field of software verification and validation. It gives an implementation o…

    OCaml 1

  4. Metamodeling Metamodeling Public

    A meta-modeling project to discover Eclipse Modeling Framework and tools such as Acceleo, XText, Sirius, ATL, ... The goal was to develop a complete toolchain for the validation of processes, writt…

    Java

  5. AdaPageRanking AdaPageRanking Public

    This project aims to implement Google's page ranking algorithm in Ada using both full and sparse matrix approaches. It was realized by Théo Bessel and Timothé Lebobe, during their first-year at N7 …

    Ada 1