Skip to content
View TheoBessel's full-sized avatar
📟
Playing with ARM chips
📟
Playing with ARM chips
38 followers · 49 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_StacktraceARMv7-M_StacktracePublic

    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/FOCACCIATOLOSAT/FOCACCIAPublic

    FOCACCIA, Flatsat Operations Center And Command Control Interface Application

    Java 2

  3. SystemF_TIPESystemF_TIPEPublic

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

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

    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