C++ Dependent Types

Open-source C++ projects categorized as Dependent Types Edit details

C++ Dependent Type Projects

  • matrix-sized

    Generic matrix with statically known size and bindings to C++ linear algebra libraries (Eigen, Spectra).

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

C++ Dependent Types related posts


Project Stars
1 matrix-sized 0
Find remote jobs at our new job board 99remotejobs.com. There are 3 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
Deliver Cleaner and Safer Code - Right in Your IDE of Choice!
SonarLint is a free and open source IDE extension that identifies and catches bugs and vulnerabilities as you code, directly in the IDE. Install from your favorite IDE marketplace today.