We are currently working on a new C++ software library for computations with straight-line programs: JIL (Just InLine).

Work on this library has started quite recently. We refer to this preprint for some motivations and background information. We plan to provide more complete documentation sometime sooner or later.

[1]

J. van der Hoeven and G. Lecerf. Towards a library for straight-line programs. Technical Report, HAL, 2025. https://hal.science/hal-05075591.

[2]

J. van der Hoeven, G. Lecerf, and A. Minondo. Static bounds for straight-line programs. Technical Report, HAL, 2025. https://hal.science/hal-05105518.