JOSS Papers: dsatur

All Papers
3490
 Published Papers
3045
 Active Papers
445
published Published over 3 years ago

gym-saturation: an OpenAI Gym environment for saturation provers

Python OpenEdge ABL
@inpefess
10.21105/joss.03849
published Published over 3 years ago

Delve: Neural Network Feature Variance Analysis

Python
@justinshenk
10.21105/joss.03992
published Published about 4 years ago

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

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

JCOL: A Java package for solving the graph coloring problem

Java
@shah314
10.21105/joss.01843
Displaying 4 papers

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

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

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