Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / kiaragrouwstra/synthesis issues and pull requests

#37 - random synthesizer benchmark

Issue - State: closed - Opened by KiaraGrouwstra over 4 years ago

#36 - statistical confidence

Issue - State: closed - Opened by KiaraGrouwstra over 4 years ago

#35 - facilitate HaskTorch updating

Issue - State: closed - Opened by KiaraGrouwstra over 4 years ago - 4 comments

#34 - Hint concurrent instances

Issue - State: closed - Opened by KiaraGrouwstra over 4 years ago - 5 comments

#33 - out-of-scope extensions

Issue - State: open - Opened by KiaraGrouwstra over 4 years ago
Labels: wontfix, nice-to-have, synthesis

#32 - Hint race-condition

Issue - State: closed - Opened by KiaraGrouwstra over 4 years ago - 1 comment

#31 - GPU support

Issue - State: open - Opened by KiaraGrouwstra almost 5 years ago - 12 comments
Labels: synthesis

#30 - default.nix

Pull Request - State: closed - Opened by tscholak almost 5 years ago

#29 - delete manually created synthesis.cabal

Pull Request - State: closed - Opened by tscholak almost 5 years ago

#28 - Hasktorch nix pt 2

Pull Request - State: closed - Opened by tscholak almost 5 years ago

#27 - reimplement nix derivations

Pull Request - State: closed - Opened by tscholak almost 5 years ago

#26 - command-line interface

Issue - State: open - Opened by KiaraGrouwstra almost 5 years ago
Labels: nice-to-have

#25 - analysis

Issue - State: open - Opened by KiaraGrouwstra almost 5 years ago
Labels: nice-to-have

#24 - deploy to DAS-5

Issue - State: open - Opened by KiaraGrouwstra almost 5 years ago - 7 comments

#23 - code style

Issue - State: open - Opened by KiaraGrouwstra almost 5 years ago - 3 comments
Labels: nice-to-have

#22 - synthesize legible programs

Issue - State: open - Opened by KiaraGrouwstra almost 5 years ago
Labels: nice-to-have, synthesis

#21 - debugging

Issue - State: open - Opened by KiaraGrouwstra almost 5 years ago
Labels: nice-to-have

#20 - documentation

Issue - State: open - Opened by KiaraGrouwstra almost 5 years ago - 10 comments
Labels: nice-to-have

#19 - CI

Issue - State: closed - Opened by KiaraGrouwstra almost 5 years ago - 1 comment
Labels: nice-to-have

#18 - distribute to end-users

Issue - State: open - Opened by KiaraGrouwstra almost 5 years ago
Labels: nice-to-have

#17 - engineering peer review

Issue - State: open - Opened by KiaraGrouwstra almost 5 years ago

#16 - reproducibility

Issue - State: open - Opened by KiaraGrouwstra almost 5 years ago - 2 comments

#15 - type safety

Issue - State: closed - Opened by KiaraGrouwstra almost 5 years ago - 1 comment
Labels: nice-to-have

#13 - compare to more algorithms

Issue - State: open - Opened by KiaraGrouwstra almost 5 years ago
Labels: nice-to-have

#12 - recursion

Issue - State: open - Opened by KiaraGrouwstra almost 5 years ago - 1 comment
Labels: nice-to-have, generation

#11 - bugs

Issue - State: open - Opened by KiaraGrouwstra almost 5 years ago - 1 comment
Labels: bug

#10 - synthesis quality

Issue - State: closed - Opened by KiaraGrouwstra almost 5 years ago
Labels: nice-to-have, synthesis

#9 - dataset quality

Issue - State: open - Opened by KiaraGrouwstra almost 5 years ago
Labels: nice-to-have, generation

#8 - variables/lambdas

Issue - State: open - Opened by KiaraGrouwstra almost 5 years ago - 3 comments
Labels: nice-to-have, generation, synthesis

#7 - synthesize more generic functions

Issue - State: closed - Opened by KiaraGrouwstra almost 5 years ago - 1 comment
Labels: nice-to-have, synthesis

#6 - reduce synthesis search space

Issue - State: open - Opened by KiaraGrouwstra almost 5 years ago
Labels: nice-to-have, synthesis

#5 - run-time performance

Issue - State: open - Opened by KiaraGrouwstra almost 5 years ago - 5 comments
Labels: nice-to-have, generation, synthesis

#4 - combinators

Issue - State: open - Opened by KiaraGrouwstra almost 5 years ago
Labels: critical, generation

#3 - synthesize functions

Issue - State: open - Opened by KiaraGrouwstra almost 5 years ago - 2 comments
Labels: critical, synthesis

#2 - generate paper-compatible task function dataset

Issue - State: closed - Opened by KiaraGrouwstra almost 5 years ago - 4 comments
Labels: generation

#1 - Haskell

Pull Request - State: closed - Opened by KiaraGrouwstra almost 5 years ago