Veriloga est un outil dédié à la simulation et à la vérification de circuits logiques. Il permet aux ingénieurs et concepteurs de modéliser des systèmes numériques, d'analyser les signaux et de valider des architectures matérielles avant leur implémentation physique. Son approche facilite l'optimisation des performances et la détection précoce d'erreurs dans les designs.

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.

Outil permettant de comparer et valider des données personnelles entre deux bases de données pour identifier les doublons ou les correspondances. Il facilite la visualisation des résultats de matching et aide les utilisateurs à confirmer ou infirmer les correspondances proposées par un algorithme de déduplication. Principalement utilisé pour des données comme les noms, prénoms, dates de naissance ou lieux de naissance.