NVIDIA / cutlass

CUDA C++ templates and Python DSLs for building high-performance GEMM and other linear algebra kernels on NVIDIA GPUs.

rocq-prover / rocq

Interactive theorem prover (proof assistant) for writing formal definitions, executable algorithms, and machine-checked proofs.

ElmerCSC / elmerfem

Elmer is an open-source multiphysics finite element software for simulating fluid dynamics, structural mechanics, electromagnetics, and more.