This is stars and forks stats for /ngsankha/rbsyn repository. As of 27 Apr, 2024 this repository has 93 stars and 3 forks.
RbSyn Program synthesis for Ruby, guided by type and effect annotations. See the PLDI 2021 paper for more details on the approach. Given a method specification in the form of tests, type and effect annotations with RDL, this synthesizes a Ruby function that will pass the tests. This reduces programmer effort to just writing tests that specify the function behavior and the computer writing the function implementation for you. Demo Installation You need a working Ruby installation with Bundler installed....
RbSyn Program synthesis for Ruby, guided by type and effect annotations. See the PLDI 2021 paper for more details on the approach. Given a method specification in the form of tests, type and effect annotations with RDL, this synthesizes a Ruby function that will pass the tests. This reduces programmer effort to just writing tests that specify the function behavior and the computer writing the function implementation for you. Demo Installation You need a working Ruby installation with Bundler installed....
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
RubyMoney/money | Ruby | 2.6k | 0 | 632 | 0 |
jardon-u/miniprojs | AssemblyTeXC++ | 1 | 0 | 0 | 0 |
akopytov/sysbench | CPerlM4 | 5.4k | 0 | 1k | 0 |
dotnet/machinelearning | C#C++PowerShell | 8.6k | 0 | 1.8k | 0 |
Unity-Technologies/Unity-Robotics-Hub | C#PythonShell | 1.7k | 0 | 377 | 0 |
behzatce/Cairo-NFT-Lending-Auction | CairoPythonMakefile | 20 | 0 | 0 | 0 |
bsless/clj-fast | ClojureHTMLShell | 227 | 0 | 1 | 0 |
Screenly/screenly-ose | CSSPythonJavaScript | 1.9k | 0 | 559 | 0 |
fluttertools/sidekick | DartC++CMake | 1.4k | 0 | 93 | 0 |
medusajs/docker-medusa | DockerfileShell | 97 | 0 | 46 | 0 |