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
11 versions - Latest release: about 5 years ago - 84 stars on GitHub
github.com/bluerock-io/BRiCk v0.11.0
Formalization of C++ for verification purposes.11 versions - Latest release: about 5 years ago - 84 stars on GitHub
Top 5.5% on proxy.golang.org
11 versions - Latest release: about 5 years ago - 84 stars on GitHub
github.com/bluerock-io/brick v0.11.0
Formalization of C++ for verification purposes.11 versions - Latest release: about 5 years ago - 84 stars on GitHub
Top 5.5% on proxy.golang.org
11 versions - Latest release: about 5 years ago - 80 stars on GitHub
github.com/bedrocksystems/brick v0.11.0
Formalization of C++ for verification purposes.11 versions - Latest release: about 5 years ago - 80 stars on GitHub
Top 5.5% on proxy.golang.org
11 versions - Latest release: about 5 years ago - 80 stars on GitHub
github.com/bedrocksystems/BRiCk v0.11.0
Formalization of C++ for verification purposes.11 versions - Latest release: about 5 years ago - 80 stars on GitHub
Top 5.5% on proxy.golang.org
11 versions - Latest release: about 5 years ago - 80 stars on GitHub
github.com/bedrocksystems/cpp2v v0.11.0
Formalization of C++ for verification purposes.11 versions - Latest release: about 5 years ago - 80 stars on GitHub
Top 5.9% on proxy.golang.org
11 versions - Latest release: 10 months ago - 2,648 stars on GitHub
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