There are 1 repositories under qf-lra topic.
Refactor of dLinear4 https://github.com/martinjos/dlinear4