https://github.com/elegaanz/rustre

Lustre compiler and tools in Rust
https://github.com/elegaanz/rustre

incremental-compilation lustre parser rust

Last synced: 3 months ago
JSON representation

Lustre compiler and tools in Rust

• Host: GitHub
• URL: https://github.com/elegaanz/rustre
• Owner: elegaanz
• License: gpl-3.0
• Created: 2021-12-12T01:00:19.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2024-01-18T18:02:03.000Z (over 1 year ago)
• Last Synced: 2025-02-28T03:37:29.584Z (4 months ago)
• Topics: incremental-compilation, lustre, parser, rust
• Language: Rust
• Homepage: https://projets-info4.gricad-pages.univ-grenoble-alpes.fr/22-23/26/docs/html/
• Size: 612 KB
• Stars: 5
• Watchers: 3
• Forks: 0
• Open Issues: 5
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Rustre : Lustre v6 parser in Rust

[![](https://img.shields.io/gitlab/issues/open-raw/Projets-INFO4/22-23/26/rustre?gitlab_url=https%3A%2F%2Fgricad-gitlab.univ-grenoble-alpes.fr%2F)](https://gricad-gitlab.univ-grenoble-alpes.fr/Projets-INFO4/22-23/26/docs/-/issues)

[![](https://img.shields.io/gitlab/merge-requests/open/Projets-INFO4/22-23/26/rustre?gitlab_url=https%3A%2F%2Fgricad-gitlab.univ-grenoble-alpes.fr%2F)](https://gricad-gitlab.univ-grenoble-alpes.fr/Projets-INFO4/22-23/26/rustre/-/merge_requests)

[![](https://img.shields.io/gitlab/last-commit/Projets-INFO4/22-23/26/rustre?gitlab_url=https%3A%2F%2Fgricad-gitlab.univ-grenoble-alpes.fr%2F)](https://gricad-gitlab.univ-grenoble-alpes.fr/Projets-INFO4/22-23/26/rustre/-/commits/main)

[![](https://img.shields.io/badge/journal%20de%20bord-md.edgar.bzh-blue)](https://md.edgar.bzh/s/P3MB8tN_x)

[![](https://img.shields.io/gitlab/license/Projets-INFO4/22-23/26/rustre?gitlab_url=https%3A%2F%2Fgricad-gitlab.univ-grenoble-alpes.fr%2F)]()

![Project report](https://projets-info4.gricad-pages.univ-grenoble-alpes.fr/22-23/26/docs/report.pdf)

## Crates

- `rustre-parser`: the main parser, emits an untyped AST

- `rustre-core`: the core of the compiler

## Compatibility with the official implementation

[Reference implementation](https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6)

Rustre is far from being compatible with the official specification.