libCat VS Kalman

That's awesome! I'm working on something that sounds similar. https://github.com/cons-cat/libcat

I'd love to see your work if you're willing to share it here!

It's worse in the standard library than it has to be. When I refactored my traits to minimize template instantiations and lean on concepts as much as possible, I measured over 30% improvement to clean build compile times. It's not possible for the standard to do this, because it would subtly change the API. For instance, you can't instantiate or take the address of a concept, but you can for a type-trait class. No reason you'd want to do that, but you can, so they can't "break" the standard library by optimizing this.

This doesn't have to be true. Over the past year I've made progress towards demonstrating how even non-freestanding C++ can be written without any C or C++ standard library headers or DLLs (with large benefits). There are a few names which the compilers require to be in the std:: namespace, though, but they're very special features like source_location and construct_at with semantics that can't be expressed otherwise.

It isn't that hard to put a predicate into a type. We have lambdas in an unevaluated context, CTAD, and templated type aliases. https://github.com/Cons-Cat/libCat/blob/main/src/libraries/scaredy/cat/scaredy https://github.com/Cons-Cat/libCat/blob/main/src/global_includes.hpp#L70 https://github.com/Cons-Cat/libCat/blob/main/src/libraries/linux/cat/linux#L289 You do it like this.

I use clang-tidy. These are my current linting rules.

I'm working on this! https://github.com/Cons-Cat/LibCat

Since you mentioned C++ and Kalman filters, I author this Kalman filter library which helped me to get reacquainted to control theory, tries to be approachable, and lists a variety of sources to ease in the topic with examples.

Yes, and here's one for sanitizers. Other tools, documentation, and coverage in the neigbhorong files.

I've been learning FectContent as well with some successes and failures.

My goal with this Kalman filter for C++ is to solve your exact question.

I released a first version of a generic Kalman filter.

I use fmt and others in my project with CMake fetch and it's been a good experience so far: fetch, declare, link in a few lines. Hope this can be useful to someome.

Gratuitous French codebase self-promotion though. /s

A façade (example) included only for your GCC builds and with the fmt library would allow you to generically use the std::format support in your code. Avoiding the fmt:: and dependencies with MSVC. When the support lands in GCC, only that file would need to be deleted.

I use it with boilerplate similar to this: https://github.com/FrancoisCarouge/Kalman/blob/develop/benchmark/benchmark.cpp and run the executables with priority and pining: nice -n 20 tasker -- cpu-list 0

A Kalman filter library: https://github.com/FrancoisCarouge/Kalman