An API for constructing Lustre programs, running Kind 2, and showing results/suggestions.
Latest Versions
27 versions →| Version ▼ | Vulnerabilities | Usages | Date | |
|---|---|---|---|---|
0.12.x | 0.12.0 |
0
| Oct 31, 2026 | |
0.11.x | 0.11.0 |
0
| Oct 03, 2026 | |
0.10.x | 0.10.1 |
0
| Sep 25, 2026 | |
| 0.10.0 |
0
| Sep 24, 2026 | ||
0.9.x | 0.9.0 |
0
| Sep 17, 2026 | |
0.8.x | 0.8.0 |
0
| Jul 24, 2026 | |
0.7.x | 0.7.0 |
0
| Jun 18, 2026 | |
0.6.x | 0.6.0 |
0
| Apr 10, 2026 | |
0.5.x | 0.5.5 |
0
| Dec 17, 2025 | |
| 0.5.4 |
0
| Nov 12, 2025 | ||
| 0.5.3 |
0
| Oct 23, 2025 | ||
| Show 1 more from 0.5.x | ||||
0.4.x | 0.4.1 |
0
| Jun 18, 2024 | |
0.3.x | 0.3.9 |
0
| May 22, 2024 | |
| 0.3.8 |
0
| May 06, 2024 | ||
| 0.3.6 |
0
| Jun 21, 2023 | ||
| Show 6 more from 0.3.x | ||||