Formal Methods Tools

RbSyn

Program Synthesis

At a Glance

Applications Program Synthesizer
Interfaces CLI
Licenses BSD-3-Clause
Maintenance Actively Maintained

Description

Program synthesis for Ruby

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