JOSS Papers: dsatur

All Papers
1823
 Published Papers
1636
 Active Papers
187
published Published 3 months ago

gym-saturation: an OpenAI Gym environment for saturation provers

Dockerfile Python OpenEdge ABL
@inpefess
10.21105/joss.03849
published Published 4 months ago

Delve: Neural Network Feature Variance Analysis

Python
@justinshenk
10.21105/joss.03992
published Published about 1 year ago

Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation

Julia
@0x0f0f0f
10.21105/joss.03078
published Published about 2 years ago

JCOL: A Java package for solving the graph coloring problem

Java
@shah314
10.21105/joss.01843
Displaying all 4 papers

Journal of Open Source Software is an affiliate of the Open Source Inititative.

Journal of Open Source Software is part of Open Journals, which is a NumFOCUS-sponsored project.

Public user content licensed CC BY 4.0 unless otherwise specified.
ISSN 2475-9066