Tangara
Recent Updates Mar 14, 2024 Your Device, Your Way Mar 06, 2024 Pre-production Progress Feb 28, 2024 Lua Support Feb 22, 2024 Creating a Custom Faceplate Tangara is a portable music player. It outputs high-quality sound through a 3.5 mm headphone jack or Bluetooth, has great battery life, and includes a processor that’s powerful enough to support any audio format you can throw at it. It’s also 100%
GitHub - google/orbit: C/C++ Performance Profiler
Orbit, the Open Runtime Binary Instrumentation Tool is a standalone native application profiler for Windows and Linux. It supports native applications written in languages such as C, C++, Rust, or Go. Its main purpose is to help developers identify the performance bottlenecks of a complex application. Orbit can be also used to visualize the execution flow of such applications. The key differentiat
#123: SYCL 2020 Specification
(壊れた音声ファイルを配信してしまったので、修正したファイルで同じエピソードを再配信しています。ごめんね。教えてくれた皆さんありがとうございました。） GPGPU ワナビーの森田が C++ 拡張の GPGPU 標準を眺めました。ご意見感想などは Reddit やおたより投書箱にお寄せください。iTunes のレビューや星もよろしくね。 SYCL Overview – The Khronos Group Inc SYCL.tech – Find out the latest SYCL news, videos, learning materials and projects. GitHub – Tohoku-University-Takizawa-Lab/neoSYCL: A SYCL Implementation for CPU and SX-Aurora TSUBASA DPC++ Do
C++入門 AtCoder Programming Guide for beginners (APG4b) - AtCoder
プログラミングに詳しい方へ ここから先はプログラミング未経験者の方は読む必要がありません APG4bは多くの一般的な教材とはいくつか違う点があるため、プログラミングに慣れた人がこの教材を見ると色々思うところがあるかもしれません。 ここではこの教材がどのようなコンセプトで書かれているかを説明した後、APG4bがなぜ一般的でないことをしているのかを説明します。 APG4bのコンセプト プログラムとは何のためにあるのでしょうか？ 「便利なアプリを作るため」「ゲームをつくるため」「『人工知能』をつくるため」など、色々あると思います。 これらの具体例は決して間違いではありませんが、プログラミングにはより根源的な用途があります。 それは「計算」です。 コンピュータが開発された当初、その用途は高度な電卓でした。 それから月日が流れ、様々な用途に応用されるようになっても、最終的にコンピュータが行っているこ
C/C++ 用のコードカバレッジツールを作ってみた - simotin13's message
タイトルの通り C/C++言語で使えるコードカバレッジツールを作ってみました。 x86_64 GNU/Linux 向けのバイナリと動作確認のサンプル用シェルスクリプトをGithubで公開しています。 github.com このコードカバレッジツールは covme という名称のシングルバイナリのプログラムです。機能的にはまだまだ充実していなくて、現時点では実用性は低いのですが、簡単なプログラムであればC0レベルのカバレッジを取ることができ、結果をHTMLファイルとして出力します。 covme demo 目次 目次 使い方について どうやってカバレッジを計測しているのか？ GDBの利用 DWARFの利用 動機 C/C++ 言語用のコードカバレッジツールがあまりない 組み込みソフトウェアの開発で CI/CD したい covme で実現したいこと どうやってやるのさ？ ソースコードについて まとめ
Beautiful Branchless Binary Search
I read a blog post by Alex Muscar, “Beautiful Binary Search in D“. It describes a binary search called “Shar’s algorithm”. I’d never heard of it and it’s impossible to google, but looking at the algorithm I couldn’t help but think “this is branchless.” And who knew that there could be a branchless binary search? So I did the work to translate it into a algorithm for C++ iterators, no longer requir
Kythe
A pluggable, (mostly) language-agnostic ecosystem for building tools that work with code. Overview Features: Documentation of the Kythe schema Indexer implementations for C++ and Java Compilation extractors for javac, Maven, cmake, Go, and Bazel Generic verifier for indexers Sample cross-reference service Many useful utility commands to work with Kythe artifacts
GitHub - ggerganov/whisper.cpp: Port of OpenAI's Whisper model in C/C++
Stable: v1.6.2 / Roadmap | F.A.Q. High-performance inference of OpenAI's Whisper automatic speech recognition (ASR) model: Plain C/C++ implementation without dependencies Apple Silicon first-class citizen - optimized via ARM NEON, Accelerate framework, Metal and Core ML AVX intrinsics support for x86 architectures VSX intrinsics support for POWER architectures Mixed F16 / F32 precision 4-bit and 5
GitHub - GaloisInc/crucible: Crucible is a library for symbolic simulation of imperative programs
Crucible is a language-agnostic library for performing forward symbolic execution of imperative programs. It provides a collection of data-structures and APIs for expressing programs as control-flow graphs. Programs expressed as CFGs in this way can be automatically explored by the symbolic execution engine. In addition, new data types and operations can be added to the symbolic simulator by imple
GitHub - NASA-SW-VnV/ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Nature Remo開発におけるテストフレームワーク『Catch2』の活用方法を紹介します - Nature Engineering Blog
3日目！ Nature Engineering Blog祭3日目は、ファームウェアエンジニアの中林 (id:tomo-wait-for-it-yuki) がお送りします。みなさま、自動テストはお好きですか？私は大好きです。手動で何度も同じことをテストするのは苦痛ですが、それをプログラミングのタスクに転化できるとなれば、最高ですよね！ 今回はNature Remoのファームウェア開発で使用しているユニットテストフレームワーク『Catch2』の活用方法を紹介します。ESP-IDFで使えるテンプレートプロジェクトも用意してありますので、少し長いですが、最後まで楽しく読んでいただけると嬉しいです。 Catch2 Catch2は (modern) C++で書かれたユニットテストフレームワークです。Nature RemoのファームウェアはC言語で書いていますが、テストフレームワークはC++で書かれたも
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
CppUnzip： ヘッダーオンリーでzlibだけで動くunzipライブラリを作った
ClangFrontend (infer.ClangFrontend)
GitHub - antimatter15/alpaca.cpp: Locally run an Instruction-Tuned Chat-Style LLM
GitHub - ggerganov/llama.cpp: LLM inference in C/C++
GitHub - DISTORTEC/distortos: object-oriented C++ RTOS for microcontrollers
Learn, improve and generate code with AI | Refraction
GitHub - trailofbits/deepstate: A unit test-like interface for fuzzing and symbolic execution
GitHub - smackers/smack: SMACK Software Verifier and Verification Toolchain
GitHub - chochain/nanoFORTH: Forth for Arduino Nano - Interactive, Multi-tasking, EEPROM turnkey.