Formal Methods Tools

Lakeroad

Program Synthesis

At a Glance

Applications Program Synthesizer
Interfaces CLI
Licenses MIT
Maintenance Actively Maintained

Description

FPGA synthesis tool powered by program synthesis

Help improve this page!
Submit an issue or pull request.
Updated