Skip to content

GitLab

Explore

Sign in

C
Compiler

Any
Assembly
Batchfile
BibTeX
C
C#
C++
CMake
CSS
Dockerfile
Fortran
HTML
Java
JavaScript
Jupyter Notebook
MATLAB
Makefile
PHP
Perl
PostScript
Python
R
SCSS
Shell
TeX
TypeScript

Projects with this topic

Sort by:

Sort by
Updated date
Name
Name, descending
Oldest updated
Oldest created
Last created
Most stars
Hide archived projects
Show archived projects
Show archived projects only

View Chamois-CompCert project

CertiCompil / Chamois-CompCert

Verimag's fork of CompCert

Formally Ver... Ocaml Coq Compiler

2

Updated Dec 06, 2025

2 0 0 0

Updated Dec 06, 2025
View rustre-docs project

Projets-INFO4 / 22-23 / 26 / rustre-docs

Moved to https://framagit.org/rustre/docs

Compiler Lustre Verimag

Archived 0

Updated Nov 18, 2025

Archived 0 0 0 1

Updated Nov 18, 2025
View rustre project

Projets-INFO4 / 22-23 / 26 / rustre

Moved to https://framagit.org/rustre/rustre

Compiler Lustre Verimag rust

Archived 1

Updated Nov 18, 2025

Archived 1 0 0 18

Updated Nov 18, 2025