tag:joss.theoj.org,2005:/papers/reviewed_by/@lutzhamel
Journal of Open Source Software
2022-03-03T16:44:19Z
Journal of Open Source Software
https://joss.theoj.org
tag:joss.theoj.org,2005:Paper/3094
2022-03-03T16:44:19Z
2022-03-04T00:01:13Z
gym-saturation: an OpenAI Gym environment for saturation provers
accepted
v0.1.0
2021-10-01 16:31:20 UTC
71
2022-03-03 16:44:19 UTC
7
2022
3849
Boris
Shminke
Laboratoire J.A. Dieudonné, CNRS and Université Côte d'Azur, France
0000-0002-1291-9896
10.21105/joss.03849
https://doi.org/10.5281/zenodo.6324282
Python, OpenEdge ABL
https://joss.theoj.org/papers/10.21105/joss.03849.pdf
OpenAI Gym, automated theorem prover, saturation prover, reinforcement learning
tag:joss.theoj.org,2005:Paper/2746
2021-08-27T16:51:11Z
2021-08-28T00:02:07Z
Sync Toolbox: A Python Package for Efficient, Robust, and Accurate Music Synchronization
accepted
1.0.0
2021-06-10 08:02:00 UTC
64
2021-08-27 16:51:11 UTC
6
2021
3434
Meinard
Müller
International Audio Laboratories Erlangen
0000-0001-6062-7524
Yigitcan
Özer
International Audio Laboratories Erlangen
0000-0003-2235-8655
Michael
Krause
International Audio Laboratories Erlangen
0000-0001-7194-0719
Thomas
Prätzlich
International Audio Laboratories Erlangen
Jonathan
Driedger
International Audio Laboratories Erlangen
10.21105/joss.03434
https://doi.org/10.5281/zenodo.5288713
Python, Jupyter Notebook
https://joss.theoj.org/papers/10.21105/joss.03434.pdf
Music information retrieval, Music synchronization
tag:joss.theoj.org,2005:Paper/2595
2021-06-27T08:23:32Z
2021-06-28T00:00:45Z
Reiz: Structural Source Code Search
accepted
v1.0.0
2021-04-24 22:59:29 UTC
62
2021-06-27 08:23:32 UTC
6
2021
3296
Batuhan
Taskaya
Python Core Developer
10.21105/joss.03296
https://doi.org/10.5281/zenodo.5029255
Python
https://joss.theoj.org/papers/10.21105/joss.03296.pdf
source code search, big code, structure analysis