GitHub - google/highway: Performance-portable, length-agnostic SIMD with runtime dispatch
CPUs provide SIMD/vector instructions that apply the same operation to multiple data items. This can reduce energy usage e.g. fivefold because fewer instructions are executed. We also often see 5-10x speedups. Highway makes SIMD/vector programming practical and workable according to these guiding principles: Does what you expect: Highway is a C++ library with carefully-chosen functions that map we
Changing std::sort at Google’s Scale and Beyond
TL;DR; We are changing std::sort in LLVM’s libcxx. That’s a long story of what it took us to get there and all possible consequences, bugs you might encounter with examples from open source. We provide some benchmarks, perspective, why we did this in the first place and what it cost us with exciting ideas from Hyrum’s Law to reinforcement learning. All changes went into open source and thus I can
CBMC: Bounded Model Checking for Software
About CBMC CBMC is a Bounded Model Checker for C and C++ programs. It supports C89, C99, most of C11/C17 and most compiler extensions provided by gcc, clang, and Visual Studio. A variant of CBMC that analyses Java bytecode is available as JBMC. CBMC verifies memory safety (which includes array bounds checks and checks for the safe use of pointers), checks for exceptions, checks for various va
GitHub - estraier/tkrzw: a set of implementations of DBM
================================================================================ Tkrzw: a set of implementations of DBM ================================================================================ Please read the following documents. COPYING - license CONTRIBUTING.md - how to contribute doc/index.xhtml - main document (the same as https://dbmx.net/tkrzw/) Contents of the directory tree are bel
GitHub - milvus-io/milvus: A cloud-native vector database, storage for next generation AI applications
Millisecond search on trillion vector datasets Average latency measured in milliseconds on trillion vector datasets. Simplified unstructured data management Rich APIs designed for data science workflows.Consistent user experience across laptop, local cluster, and cloud.Embed real-time search and analytics into virtually any application. Reliable, always on vector database Milvus’ built-in replicat
Cheerp: the C++ compiler for the Web platform.
14 March 2023: Cheerp 3.0 released and relicensed to Apache 2.0 licence! Release notes here. What is Cheerp? Cheerp is an enterprise-grade C/C++ compiler for the web that can compile C/C++ into WebAssembly and JavaScript. It is open source, liberally licensed (LLVM licence) and is actively developed by Leaning Technologies.
SYCL - C++ Single-source Heterogeneous Programming for Acceleration Offload
SYCL (pronounced ‘sickle’) is a royalty-free, cross-platform abstraction layer that: Enables code for heterogeneous and offload processors to be written using modern ISO C++ (at least C++ 17). Provides APIs and abstractions to find devices (e.g. CPUs, GPUs, FPGAs) on which code can be executed, and to manage data resources and code execution on those devices. SYCL defines abstractions to enable he
冬休み到来! clang-tidy で安心安全な C/C++ コーディングを極めよう! - Qiita
int main(int argc, char **argv) { const char *cpc; const char *cpc2 = (const char*)cpc; short b = argc; return b; } $ clang-tidy file.cc 7 warnings generated. file.cc:1:27: warning: unused parameter 'argv' [clang-diagnostic-unused-parameter] int main(int argc, char **argv) ^ file.cc:4:3: warning: Assigned value is garbage or undefined [clang-analyzer-core.uninitialized.Assign] const char *cpc2 = (
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - randombit/botan: Cryptography Toolkit
GitHub - orlp/pdqsort: Pattern-defeating quicksort.
GitHub - facebookexperimental/libunifex: Unified Executors
GitHub - thrill/thrill: Thrill - An EXPERIMENTAL Algorithmic Distributed Big Data Batch Processing Framework in C++
GitHub - google/breakpad: Mirror of Google Breakpad project
GitHub - scality/quadiron: Fast Erasure Coding Library for Large Number of Data and Parities
GitHub - yrnkrn/zapcc: zapcc is a caching C++ compiler based on clang, designed to perform faster compilations
GitHub - skarupke/flat_hash_map: A very fast hashtable
GitHub - vrsperanza/CPY: CPY - Code C/C++ with no redundancy
hello-dns/tdns at master · Habbie/hello-dns
GitHub - oneapi-src/oneDPL: oneAPI DPC++ Library (oneDPL) https://software.intel.com/content/www/us/en/develop/tools/oneapi/components/dpc-library.html
Clang-Tidy — Extra Clang Tools 18.0.0git documentation