Over the past couple years at Swift Navigation, we've been developing an open source project for statistical modeling in C++ called albatross [https://github.com/swift-nav/albatross]. We use albatross in several of the core models behind our Global Navigation Satellite System (GNSS) correction services; things such as real-time estimates