Factory > Showcase > Rust-Stainless
Name:
Rust-Stainless
Description:
Rust frontend for Stainless
Professor — Lab:
Viktor Kunčak — Lab for Automated Reasoning and Analysis
Contacts:
Georg Stefan Schmid Yann Bolliger
Project status:
inactive — entered showcase: 2021-11-04 — entry updated: 2024-04-12
Source code:
Lab GitHub - last commit: 2021-07-22
Code quality:
Prototype
Project type:
Application
Programming language:
Rust
License:
Apache-2.0