Java implementation of Hindley Milner type inference algorithm for lambda calculus.
-
Updated
May 6, 2019 - Java
Java implementation of Hindley Milner type inference algorithm for lambda calculus.
Le site du ResEl refait en 2016 accessible à https://resel.fr/
Lab assignment at IMT Atlantique involving the implementation of graph data structures and classical graph algorithms, including Dijkstra’s shortest path algorithm and Prim’s minimum spanning tree algorithm.
Project I did during my second year at IMT Atlantique. Features a complete Data Science pipeline for training.
Distributed microservices application for cinema management built with Python. Demonstrates REST, GraphQL, and gRPC APIs with 4 interdependent services (User, Movie, Showtime, Booking) and a Django web frontend. Educational project from IMT Atlantique.
Developed as a lab assignment for IMT Atlantique, this Flutter Pokedex utilizes the PokebuildAPI with a focus on optimized data handling, type-safe JSON sanitization, and dynamic UI.
Unity/VR experiment — AR, haptics & distance perception, IMT Atlantique 2025
Technical lab assignment at IMT Atlantique demonstrating modern Android development practices. The project uses Clean Architecture, MVI (Model-View-Intent), and Jetpack Compose to fetch and display meal categories and meals from a REST API, ensuring scalability and unidirectional data flow.
Interactive Angular 19 standalone components dashboard demonstrating image gallery with state management using RxJS. Built as a teaching project for IMT-FIL-A1 UE IHM course.
Modern Android application built with Kotlin and Jetpack Compose that allows users to search for movies using a REST API. This project demonstrates a clean, scalable architecture using MVI, Repository pattern, and modern Android development tools.
Scala practical exercises completed at IMT Atlantique to learn Scala 3, functional programming patterns, and object-oriented design. The final assessment is the AmazingMaze project: a comprehensive implementation of a binary-tree maze with multiple exploration strategies, including a concurrent traversal algorithm.
Lab assignment at IMT Atlantique focused on software quality and automated testing. The project consists of implementing unit tests using JUnit5 and Mockito for Camix, a chat application, with an emphasis on test reliability, isolation, and maintainability.
Flutter application for tracking the history of SpaceX launches. Users can explore technical details about rockets, payloads and launchpads, and keep a personalised list of their favorite launches.
Lab assignment at IMT Atlantique. REST API for managing todo lists and items. Built with Fastify and TypeScript, it provides a complete CRUD interface for organizing tasks and managing lists efficiently.
Full-stack todo list app with three components: Frontend, API (CRUD endpoints), and auto-generated API Client (built with OpenAPI Generator for consistent API interaction).
Add a description, image, and links to the imt-atlantique topic page so that developers can more easily learn about it.
To associate your repository with the imt-atlantique topic, visit your repo's landing page and select "manage topics."