tag:joss.theoj.org,2005:/papers/reviewed_by/@SmattrJournal of Open Source Software2024-01-09T15:42:20ZJournal of Open Source Softwarehttps://joss.theoj.orgtag:joss.theoj.org,2005:Paper/38102024-01-09T15:42:20Z2024-01-10T00:01:06ZScarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logicacceptedv0.0.12022-08-10 18:27:58 UTC932024-01-09 15:42:20 UTC920245052RitamRahaUniversity of Antwerp, Antwerp, Belgium, CNRS, LaBRI and Université de Bordeaux, France0000-0003-1467-1182RajarshiRoyMax Planck Institute for Software Systems, Kaiserslautern, Germany0000-0002-0202-1169NathanaëlFijalkowCNRS, LaBRI and Université de Bordeaux, France0000-0002-6576-4680DanielNeiderTU Dortmund University, Dortmund, Germany, Center for Trustworthy Data Science and Security, University Alliance Ruhr, Germany0000-0001-9276-634210.21105/joss.05052https://doi.org/10.5281/zenodo.10419514Pythonhttps://joss.theoj.org/papers/10.21105/joss.05052.pdflinear temporal logic (LTL), Explainable AI (XAI), specification mining, Formal Methodstag:joss.theoj.org,2005:Paper/38602023-01-17T10:48:58Z2023-01-18T00:01:00ZGNOLL: Efficient Multi-Lingual Software for Real-World Dice Notation and Extensionsacceptedv2.7.12022-09-09 08:40:26 UTC812023-01-17 10:48:58 UTC820234816IanFrederick Vigogne GoodbodyHunterIndependent Researcher0000-0003-3408-813810.21105/joss.04816https://doi.org/10.5281/zenodo.7542433Python, C++, C#, PHPhttps://joss.theoj.org/papers/10.21105/joss.04816.pdfPerl, C, Go, R, Java, Julia, statistics, board games, ttrpgs, game designtag:joss.theoj.org,2005:Paper/16972020-07-28T15:33:53Z2021-02-15T11:30:36ZGPP, the Generic Preprocessoraccepted2.262020-05-28 14:03:15 UTC512020-07-28 15:33:53 UTC520202400TristanMillerAustrian Research Institute for Artificial Intelligence0000-0002-0749-1100DenisAurouxDepartment of Mathematics, Harvard University10.21105/joss.02400https://doi.org/10.5281/zenodo.3961322M4, Chttps://joss.theoj.org/papers/10.21105/joss.02400.pdfpreprocessor, macro processortag:joss.theoj.org,2005:Paper/5122018-06-21T18:18:03Z2021-02-15T11:33:20ZGeneral binary file parser.accepted0.0.202018-06-03 10:30:06 UTC262018-06-21 18:18:03 UTC32018766JeroenF.j.LarosLeiden University Medical Center,10.21105/joss.00766https://doi.org/10.5281/zenodo.1295625Python, JavaScripthttps://joss.theoj.org/papers/10.21105/joss.00766.pdfbinary, parser, yaml, json, read write