An awesome list of e-graph resources

High-Performance Symbolic Regression in Python and Julia

Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples

Example project of using cabal 2.0`s foreign-library feature to build a haskell library that lets you call haskell code from C/C++.

pandoc-like tool for symbolic regression expressions

Examples to accompany the book "Haskell in Depth"

fairness-oriented multi-objective optimization

Fit and evaluate nonlinear regression models.

Hackage-Server: A Haskell Package Repository

A paper describing the implementation of PySR and SymbolicRegression.jl

A markup-based typesetting system that is powerful and easy to learn.

Technically-oriented PDF Collection (Papers, Specs, Decks, Manuals, etc)

Matplotlib styles for scientific plotting

A computational framework for finding symbolic expressions from physical datasets.

This introduces a suggestion of mathematical notation protocol for machine learning.

A scikit-learn-compatible library for estimating prediction intervals and controlling risks, based on conformal predictions.

A modern proof language

Fast equality saturation in Haskell

Transformation-Interaction-Rational

A collection of handy Bash One-Liners and terminal tricks for data processing and Linux system maintenance.

HeuristicLab - An environment for heuristic and evolutionary optimization

A baseline implementation of genetic programming (using trees to encode programs) with some examples of usage.

My nix overlay

Declarative and reproducible Jupyter environments - powered by Nix

Various data structures for use in the Idris Language.

HeuristicLab stable branch

Paper support the SRBench project