0
I Use This!
Inactive
Analyzed 1 day ago. based on code collected 1 day ago.

Project Summary

Implementation of the "Complete Functional Synthesis" approach described in the eponymous PLDI 2010 paper.

Tags

No tags have been added

In a Nutshell, comfusy...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    check out hot projects on the Open Hub
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    data presented on the Open Hub is available through our API

Languages

Scala
100%
2 Other
<1%

30 Day Summary

Jan 13 2025 — Feb 12 2025

12 Month Summary

Feb 12 2024 — Feb 12 2025