Projet open source dédié à la simulation et à la validation d'un processeur RISC-V pipeliné avec gestion des interruptions et exceptions. Basé sur une réimplémentation partielle du processeur Kôika, il permet de tester des programmes personnalisés cycle par cycle, d'effectuer des preuves formelles et de synthétiser des designs pour FPGA. Utilisé pour l'enseignement, la recherche et le prototypage matériel.

Ce projet permet de simuler des opérations médicales en générant des données synthétiques de patients. Il offre la possibilité de configurer des paramètres comme l'intensité du bruit, le nombre de patients ou le temps par top. L'utilisateur peut interagir en temps réel pour déclencher des actions pendant la simulation. Les résultats sont visualisés sous forme de graphiques pour analyser les variables simulées.

Le projet Simulation aide les professionnels de la finance à prendre des décisions éclairées en leur fournissant une plateforme pour simuler des scénarios financiers, analyser des données de marché et prévoir les tendances économiques.

Le projet simulation est dédié à la création de scénarios électoraux virtuels, à l'analyse de résultats de sondages et à la prévision de tendances de vote. Il permet aux utilisateurs de mieux comprendre les enjeux et les dynamiques des élections.

Ce projet contient le code compagnon pour l'article *Refined Analysis of the Asymptotic Complexity of the Number Field Sieve* qui propose une analyse raffinée de la complexité asymptotique de la décomposition en facteurs premiers en utilisant la méthode du crible algébrique de corps de nombres.