LibRRD
Build and CLI deployment tool with a web GUI component.
Build orchestration tool using SBT for compilation, with a Node.js CLI (v20+) and a statically served browser-based GUI. Deploy with `sbt deploy`; run CLI via `node cli/cli.js`; serve the GUI from the gui/ directory.
Development
- Technical
- Source code: Lab Github
- Last commit: 2025-11-27
We're a programming languages, formal methods, and systems engineering lab at EPFL, led by Clément Pit-Claudel. We use (and invent!) mathematical formalisms and interactive tools to explore new ways to develop computer systems.
This page was last edited on 2026-03-03.
This page was last edited on 2026-03-03.