Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • R rustre
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Graph
    • Compare revisions
  • Issues 17
    • Issues 17
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 1
    • Merge requests 1
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Artifacts
    • Schedules
  • Packages and registries
    • Packages and registries
    • Model experiments
  • External wiki
    • External wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Projets-INFO4
  • 22-23
  • 26
  • rustre
R

rustre

Project ID: 18926
Star 1
  • 192 Commits
  • 3 Branches
  • 1 Tag
  • 45 MiB Project Storage
Topics: Compiler Lustre Verimag
+ 1 more

Lustre compiler/runtime implemented in Rust

Project badgeProject badgeProject badge
Find file
Download source code
zip tar.gz tar.bz2 tar
  • Visual Studio Code (SSH)
    Visual Studio Code (HTTPS)
    IntelliJ IDEA (SSH)
    IntelliJ IDEA (HTTPS)
  • Copy SSH clone URLgit@gricad-gitlab.univ-grenoble-alpes.fr:Projets-INFO4/22-23/26/rustre.git
  • Copy HTTPS clone URLhttps://gricad-gitlab.univ-grenoble-alpes.fr/Projets-INFO4/22-23/26/rustre.git
  • README
  • GNU General Public License v3.0 or later