OptiML

MaRDI QIDQ17257swMATHFDO

Official website https://projects.coin-or.org/OptiML

Cited in

(8)

• SESSL
• LMS-Verify: abstraction without regret for verified systems programming
• Polyglot
• SESSL
• SakerGrid
• SBMLsimulator
• TreatJS
• Optimizing data structures in high-level programs, new directions for extensible compilers based on staging

This page was built for software: OptiML