Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

proxy.golang.org "cplusplus-23" keyword

View the packages on the proxy.golang.org package registry that are tagged with the "cplusplus-23" keyword.

Top 5.5% on proxy.golang.org
github.com/bedrocksystems/brick v0.11.0
Formalization of C++ for verification purposes.
11 versions - Latest release: over 5 years ago - 80 stars on GitHub
Top 5.5% on proxy.golang.org
github.com/bluerock-io/brick v0.11.0
Formalization of C++ for verification purposes.
11 versions - Latest release: over 5 years ago - 84 stars on GitHub
Top 5.5% on proxy.golang.org
github.com/bluerock-io/BRiCk v0.11.0
Formalization of C++ for verification purposes.
11 versions - Latest release: over 5 years ago - 84 stars on GitHub
Top 5.5% on proxy.golang.org
github.com/bedrocksystems/BRiCk v0.11.0
Formalization of C++ for verification purposes.
11 versions - Latest release: over 5 years ago - 80 stars on GitHub
Top 5.5% on proxy.golang.org
github.com/bedrocksystems/cpp2v v0.11.0
Formalization of C++ for verification purposes.
11 versions - Latest release: over 5 years ago - 80 stars on GitHub
Top 5.9% on proxy.golang.org
github.com/bshoshany/thread-pool v5.0.0+incompatible
BS::thread_pool: a fast, lightweight, modern, and easy-to-use C++17 / C++20 / C++23 thread pool l...
11 versions - Latest release: 10 months ago - 2,648 stars on GitHub
Related Keywords
cplusplus 6 cplusplus-17 6 cplusplus-20 6 coq 5 coq-formalization 5 coq-library 5 cplusplus-11 5 cplusplus-14 5 threadpool 1 threading 1 thread-pool 1 scientific-computing 1 parallel 1 multithreading 1 high-performance-computing 1 high-performance 1 easy-to-use 1 cpp23 1 cpp20-modules 1 cpp20 1 cpp17 1 cpp 1 concurrency 1