Explorer les projets

Limited version of SPEC2DY for publication

Exemples et exercices pour comprendre le codage des nombres (entiers et décimaux) en Go. Conçu pour accompagner l'enseignement de la ressource r1.03 du BUT Informatique à l'IUT de Nantes. Adaptation du datalab csapp en golang.

Utilisation de git

RefacCert is a project to build a "proven correct" refactoring tool for C source code.

Sorting algorithms in C