published Published 4 months ago
DeepSynth: Scaling Neural Program Synthesis with Distribution-based Search
Python Slash
published Published 10 months ago
GiNaCDE: the high-performance F-expansion and First Integral Methods with C++ library for solving Nonlinear Differential Equations
C++
published Published 11 months ago
SISSO++: A C++ Implementation of the Sure-Independence Screening and Sparsifying Operator Approach
Python C++
published Published almost 2 years ago
Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation
Julia
published Published over 3 years ago
pySRURGS - a python package for symbolic regression by uniform random global search
Python
published Published about 4 years ago
Rule-based integration: An extensive system of symbolic integration rules
published Published about 5 years ago