Formally verified, real-time capable, UNIX-like operating system kernel written in SPARK and Ada.

Search for documents in a domain through Search Engines (Google, Bing and Baidu). The objective is to extract metadata

Jeu d'aventure de 9 niveaux fonctionnant sur la calculatrice "Numworks"

ShodanX is a tool to gather information of targets using shodan dorks⚡.

Android port of glTron

Refactoring du projet de création d'un porxy pour un serveur FTP

documentation d'utilisation de flask au format MVC

Integrate SonarQube scanner to GitHub Actions

Arduino embedded system for a controlled atmosphere greenhouse with .aia phone application

The classic notepad, enhanced!

muvm - run programs from your system in a microVM

ai-generated apps , full stack + generative UI

Broker 1961 for Android

This is a simple repository where we will all try to make a calculator in as many programming languages as possible, inspired by