enhancementgood first issuehelp wanted
Repository metrics
- Stars
- (257 stars)
- PR merge metrics
- (Avg merge 8d 15h) (10 merged PRs in 30d)
Description
@zatkins-dev would it be adequate to your purposes to add this in libCEED? (Though you could access it via PETSc also)