Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Faust | 2,351 | 3 | 3 months ago | 7 | December 17, 2021 | 189 | other | C++ | ||
Functional programming language for signal processing and sound synthesis | ||||||||||
Scallina | 73 | 2 years ago | 1 | gpl-3.0 | Scala | |||||
A Coq-based synthesis of Scala programs which are correct-by-construction | ||||||||||
Actsynth | 16 | 9 years ago | 2 | C++ | ||||||
Activity-centric Scene Synthesis for Functional 3D Scene Modeling | ||||||||||
Comfusy | 11 | 10 years ago | bsd-2-clause | Scala | ||||||
Implementation of the "Complete Functional Synthesis" approach described in the eponymous PLDI 2010 paper. |