人気のタグ：
仮想化 DNSセキュリティ 形式的検証 到達可能性解析 C言語 コンパイラエラー マクロの衝突 Web拡張機能 開発フレームワーク コモドール64 すべてのタグ

AGX：TauriとSvelteKitで構築された最新のClickHouseデスクトップクライアント

2025-03-19
AGX：TauriとSvelteKitで構築された最新のClickHouseデスクトップクライアント

AGXは、TauriとSvelteKitを使用して構築されたデスクトップアプリケーションで、ClickHouseの組み込みデータベースエンジン（chdb）を使用してデータを探索およびクエリするための最新のインターフェースを提供します。ネイティブデスクトップアプリケーションのパフォーマンス、構文ハイライト付きのインタラクティブなSQLクエリエディター、スキーマブラウザ、表形式の結果表示、ドラッグアンドドロップファイル操作のサポート、クロスプラットフォームの互換性（macOS、Linux、Windows）を備えています。フロントエンドはSvelteKitを使用して構築され、バックエンドはTauriとRustを使用して、ネイティブのパフォーマンスとセキュリティを実現しています。フロントエンドとバックエンド間の通信はTauriのIPCブリッジを介して行われ、データクエリは組み込みのClickHouseエンジンであるchdbによって処理されます。コントリビューションは大歓迎です！

続きを読む
(github.com)
開発

Ikemen GO：Go言語で開発されたオープンソース格闘ゲームエンジン

2025-03-19
Ikemen GO：Go言語で開発されたオープンソース格闘ゲームエンジン

Ikemen GOは、Go言語で記述されたオープンソースの格闘ゲームエンジンです。M.U.G.E.Nバージョン1.1 Betaとの下位互換性を備えつつ、多数の新機能を追加しています。Windows、macOS、Linux向けのプリビルドバイナリと、ナイトリービルドも提供されています。包括的なドキュメントでは、ビルド、デバッグ（GolandまたはVS Codeを使用）、Dockerを使用したクロスコンパイルについて説明しています。エンジンのソースコードはMITライセンスで、一部のアセットはCC-BY 3.0ライセンスで提供されています。

続きを読む
(github.com)
ゲーム

Zest：柔軟性と可読性を両立したプログラミング言語

2025-03-19
Zest：柔軟性と可読性を両立したプログラミング言語

Zestは開発中のプログラミング言語で、柔軟性と可読性を両立したシステム構築を目指しています。Emacsのようなシステムのインタラクティブ性とライブ性を、静的型付け、早期バインディング、ジャンプ・トゥ・デフィニションなどの機能と組み合わせることを目指しています。現在、Zestは基本的な制御フロー、算術演算、関数などをサポートしていますが、エラー処理、メモリ管理、再帰関数などの改善が必要です。コードは解釈実行またはコンパイルが可能ですが、混合モードはまだサポートされていません。ドキュメントには、異なる方言（laxとstrict）の結果を確認するための埋め込みテストが含まれています。

続きを読む
(github.com)
開発

fd: 驚くほど高速なファイル検索ツール (find の 23 倍速)

2025-03-19
fd: 驚くほど高速なファイル検索ツール (find の 23 倍速)

fd は find コマンドよりも高速で使いやすい代替手段です。直感的な構文、並列ディレクトリトラバーサル、スマートな大文字小文字の区別を備え、デフォルトでは隠しファイルと .gitignore ファイルを無視します。正規表現と glob パターンをサポートし、ルートディレクトリ、ファイルの種類、サイズ、変更時刻などを指定して検索をカスタマイズするための豊富なオプションを提供します。`ls`、`rm`、`rg`、`fzf` などの他のコマンドとシームレスに統合されます。ベンチマークテストでは、大規模なファイルシステムにおいて fd が find よりも大幅に高速であることが示されており、最大 23 倍の高速化を実現しています。

続きを読む
(github.com)
開発 ファイル検索

Git-Who：コードの貢献者を簡単に追跡

2025-03-18
Git-Who：コードの貢献者を簡単に追跡

特定のコードセクションの作者を探すのに苦労していませんか？コマンドラインツールであるGit-Whoが解決策です！個々の行に焦点を当てる`git blame`とは異なり、Git-Whoはコードコンポーネントやサブシステム全体の主要な貢献者を特定します。`table`、`tree`、`hist`の3つのサブコマンドを使用して、貢献数、最終編集時刻、変更行数などを表、ツリー構造、タイムラインで表示します。パス、ブランチ、タグ、またはリビジョン範囲で結果をフィルタリングし、ソートとフィルタリングにフラグを使用します。Git-WhoはGit mailmapにも対応し、異なる名前やメールアドレスでの貢献を統合します。Git-Whoを試して、コードの所有権を明確に把握しましょう！

続きを読む
(github.com)
開発 コードの貢献者

NVIDIA Dynamo：高スループット、低レイテンシの生成AI推論フレームワーク

2025-03-18
NVIDIA Dynamo：高スループット、低レイテンシの生成AI推論フレームワーク

NVIDIAは、マルチノード分散環境で生成AIと推論モデルを提供するために設計された、高スループット、低レイテンシの推論フレームワークであるDynamoを発表しました。Dynamoは、推論エンジンに依存せず（TRT-LLM、vLLM、SGLangなどに対応）、分散されたプリフィルとデコードの推論、動的なGPUスケジューリング、LLM対応リクエストルーティング、高速データ転送、KVキャッシュオフロードなどの機能を備え、GPUスループットを最大化し、レイテンシを最小限に抑えます。パフォーマンスのためにRustで、拡張性のためにPythonで構築されており、完全にオープンソースです。

続きを読む
(github.com)
AI 推論フレームワーク

Sesame AI、10億パラメーターの会話型音声モデルを発表

2025-03-18
Sesame AI、10億パラメーターの会話型音声モデルを発表

Sesame AI Labsは、Llamaアーキテクチャに基づく10億パラメーターの会話型音声モデルCSM（Conversational Speech Model）を発表しました。CSMは、テキストと音声入力からRVQオーディオコードを生成します。CSMのチェックポイントはHugging Faceで公開されており、インタラクティブな音声デモと、音声生成をテストするためのHugging Faceスペースも提供されています。様々な声を生成できますが、特定の声に微調整されておらず、多言語対応は限られています。Sesame AIは、研究と教育目的でのみ使用することを強調し、なりすまし、虚偽情報の拡散、違法行為を禁止しています。

続きを読む
(github.com)
AI

Cascii：依存関係のないオンラインASCII＆Unicodeダイアグラムビルダー

2025-03-17
Cascii：依存関係のないオンラインASCII＆Unicodeダイアグラムビルダー

Casciiは、純粋なJavaScriptで記述された、WebベースのASCIIおよびUnicodeダイアグラムビルダーです。サーバー、Webパッケージング、ライブラリに依存せず、マークアップやスタイルシートも使用しません。cascii.htmlファイルを開くだけで、ダイアグラムの作成を開始できます。Casciiはcascii.appでもホストされており、ダイアグラムのショートリンク、アカウント作成などが可能です。機能には、レイヤー管理、選択ツール、グループ化、ソート、複製、動的テーブル、フリードロー/消去、自動保存、テキストの貼り付け/インポート、履歴（元に戻す/やり直し）、ASCIIとUnicode文字の両方のサポートが含まれます。

続きを読む
(github.com)
開発 ASCII描画 Unicode描画

coq-of-rust: バグフリーなRustコードを実現する形式的検証ツール

2025-03-17
coq-of-rust: バグフリーなRustコードを実現する形式的検証ツール

coq-of-rustは、RustプログラムをCoq証明支援系に翻訳することで、100％バグフリーなRustコードを実現するための形式的検証ツールです。RustコードをCoqコードに変換し、Coqの強力な証明技術を活用してコードの正当性を検証することで、全てのバグを排除します。このツールは幅広いRust機能をサポートしており、スマートコントラクトやデータベースエンジンなどの重要なアプリケーションに対する形式的検証サービスを提供します。

続きを読む
(github.com)
開発

Cline：あなたのAIコーディングアシスタント、CLIとエディターをマスター

2025-03-17
Cline：あなたのAIコーディングアシスタント、CLIとエディターをマスター

Clineは、Claude 3.7 Sonnetを搭載したAIアシスタントで、複雑なソフトウェア開発タスクを段階的に処理できます。ファイルの作成と編集、大規模プロジェクトの探索、ブラウザの使用、ターミナルコマンドの実行（許可が必要）が可能です。Clineは複数のAPIプロバイダーをサポートし、モデルコンテキストプロトコル（MCP）を通じて機能を拡張できます。安全で信頼性の高い人間参加型のGUIを備えています。Clineはエラー監視、コード補完、バージョン管理などの機能も備えており、開発効率を大幅に向上させます。

続きを読む
(github.com)
開発 コード開発

アムネスティ・インターナショナルのモバイル検証ツールキット：スパイウェア検出のためのフォレンジックツール

2025-03-17
アムネスティ・インターナショナルのモバイル検証ツールキット：スパイウェア検出のためのフォレンジックツール

アムネスティ・インターナショナルのセキュリティ研究所は、2021年7月にモバイル検証ツールキット（MVT）をリリースしました。このツールは、AndroidおよびiOSデバイスの潜在的な侵害を特定するためのデジタルフォレンジック証拠の収集プロセスを簡素化および自動化します。MVTは、公開されている侵害指標（IOC）を使用して既知のスパイウェアキャンペーンの痕跡をスキャンしますが、デバイスの完全なセキュリティを保証するものではありません。デジタルフォレンジックとコマンドラインツールの使用に精通した技術者や捜査官を対象としており、一般ユーザーによる自己評価用ではありません。

続きを読む
(github.com)
テクノロジー デジタルフォレンジック アムネスティ・インターナショナル

CppMatch：Rustライクなエラー処理とパターンマッチングを提供するC++ライブラリ

2025-03-16
CppMatch：Rustライクなエラー処理とパターンマッチングを提供するC++ライブラリ

CppMatchは、Rust風の例外処理とパターンマッチングをC++にもたらす軽量なヘッダーオンリーのC++ライブラリです。成功または失敗の結果を表す`Result`型を使用し、`expect`マクロでエラー処理を簡素化し、`match`マクロでパターンマッチングを実装します。また、複数の`Result`オブジェクトを組み合わせるための`zip_match`も提供します。ClangとGCCと互換性があり、ラムダ関数を使用してさまざまなエラー処理戦略を提供します。Rustのエレガントなエラー処理を求めるC++開発者にとって魅力的な選択肢です。

続きを読む
(github.com)
開発 パターンマッチング

Wify：React Nativeアプリで簡単WiFi接続

2025-03-16
Wify：React Nativeアプリで簡単WiFi接続

Wifyは、画像のスキャンまたはカメラを使用してWiFi認証情報を抽出することで、WiFi接続を簡素化するReact Nativeアプリケーションです。複数の言語のOCRをサポートし、WiFi名に対してファジーマッチングを使用し、ユーザーフレンドリーなプロンプトによる堅牢なパーミッション処理が含まれています。わずかな名前の相違があっても、アプリはシームレスにネットワークに接続するため、AndroidとiOSの両方でWiFiへのアクセスが迅速かつ簡単になります。

続きを読む
(github.com)
開発 WiFi接続

zlib-ng：次世代データ圧縮ライブラリ

2025-03-16
zlib-ng：次世代データ圧縮ライブラリ

zlib-ngは、人気のデータ圧縮ライブラリであるzlibのモダン化されたフォークであり、パフォーマンス、保守性、移植性を向上させています。IntelとCloudflareからの最適化を含み、AVX-512やARM NEONなど、幅広いCPU命令セットをサポートしています。zlib-ngはzlibと共存することを目指しており、コード変更のハードルを低くし、CMakeと複数のビルドシステムをサポートしています。

続きを読む
(github.com)
開発

UUSEC WAF：無料の高性能Webアプリケーションファイアウォール

2025-03-16
UUSEC WAF：無料の高性能Webアプリケーションファイアウォール

UUSEC WAFは、AIとセマンティックエンジンを利用した、無料、高性能、そして高度にスケーラブルなWebアプリケーションファイアウォール（WAF）およびAPIセキュリティ保護製品です。トラフィック層、システム層、ランタイム層の3層防御メカニズムを備えています。機械学習による異常検出を使用して、追加のルールなしで0day攻撃を遮断します。独自開発のキャッシュクリーニング機能は商用版nginxを上回り、正規表現マッチングによる柔軟性を高めています。組み込みのHIPSとRASPは強力な2層防御を提供します。高度なセマンティックエンジンとLuaスクリプトによるルール作成により、柔軟性の高いルール作成が可能です。ホストとDockerの両方のインストールオプションがあり、インストールは簡単です。ベンチマークテストでは、99％を超える精度を示しており、同等の無料WAFを大幅に上回っています。

続きを読む
(github.com)
テクノロジー

Docs：Notionに挑むオープンソースの共同編集ドキュメントエディタ

2025-03-16
Docs：Notionに挑むオープンソースの共同編集ドキュメントエディタ

Docsは、知識の作成と共有を簡素化するために設計された、オープンソースの共同編集ドキュメントエディタです。オフライン編集、クリーンなフォーマット、AI支援機能（生成、要約、修正、翻訳）、リアルタイムコラボレーション、きめ細かいアクセス制御を備えています。Docsはインストールと拡張が容易で、複数のドキュメントエクスポート形式を提供します。フランスとドイツ政府が主導するこの多言語プロジェクトは、現在活発に開発中で、wiki機能の統合を計画しています。

続きを読む
(github.com)
開発 共同編集エディタ

rust-stakeholderで30秒で10倍の開発力に！

2025-03-16
rust-stakeholderで30秒で10倍の開発力に！

本当にコーディングに疲れていませんか？rust-stakeholderを使ってみましょう！このコマンドラインツールは、意味のない、しかし非常に印象的なターミナル出力を生成します。一行も役に立つコードを書かずに、コーディングの天才に見せかけましょう！開発活動をシミュレートし、プログレスバーを生成し、偽のネットワークトラフィックを作成し、人工的な危機を発生させることもできます。もちろんこれは風刺です。自分の能力を超えた仕事に就くために使わないでください！

続きを読む
(github.com)
開発 プログラマーのユーモア

Agentic：拡張可能なエージェントプラットフォームと構造化された出力

2025-03-16
Agentic：拡張可能なエージェントプラットフォームと構造化された出力

Agenticは、ユーザーがPydanticデータモデルを使用して拡張機能と出力スキーマを定義できるプラットフォームです。これにより、チャットボットからの構造化された出力が可能になります。例として、日付と時刻の情報を提供する時間出力モデルを定義するコード例を示します。これは、AIアプリケーションの構築において、柔軟性と制御性を向上させます。

続きを読む
(github.com)
開発

非同期対応Pandas: AsyncでPandasワークフローを高速化

2025-03-15
非同期対応Pandas: AsyncでPandasワークフローを高速化

aiopandasは、monkey patchingによってPandasの`map`、`apply`、`applymap`などの主要な関数に非同期サポートを追加する軽量ライブラリです。これにより、非同期関数のシームレスな統合が可能になり、`max_parallel`による制御された並列実行により、APIコール、Webスクレイピング、データベースクエリなどのI/Oバウンドタスクの処理速度が大幅に向上します。tqdmにも対応しており、進捗状況を追跡できます。単に`.map()`を`.amap()`に置き換えるだけで（他の関数も同様）、ほぼそのまま置き換えられます。

続きを読む
(github.com)
開発

MYGA：YouTubeを再び偉大に

2025-03-15
MYGA：YouTubeを再び偉大に

MYGAは、広告や不要な機能を省いた、クリーンでミニマルなYouTubeフロントエンドです。yt-dlpを使用して動画をダウンロードし、オプションでローカルのAIモデルを使用して動画の内容を要約することで、ローカルで効率的で簡潔で広告のないYouTube体験を提供します。チャンネル管理、登録、バックグラウンド再生、オフライン再生などの機能を備えています。依存関係がなく（nano-spawnを除く）、HTML/CSSのみを使用しており、クライアント/サーバー側でJSフレームワークを使用していません。ホームネットワークにホストして、すべてのデバイスで動画を再生できます。

続きを読む
(github.com)
開発 ローカル

スケッチプログラミング：ミニマリストなコードデザインのパラダイム（LLMトランスパイラ）

2025-03-15
スケッチプログラミング：ミニマリストなコードデザインのパラダイム（LLMトランスパイラ）

スケッチプログラミングは、シンプルさ、可読性、表現力を優先する、革新的なソフトウェア開発アプローチです。特定の言語ではなく、メタプログラミングパラダイムであり、定型コードを抽象化し、認知負荷を軽減し、開発者をコアロジックに集中させます。あらゆる言語で実装可能で、あらゆる規模のプロジェクトで機能します。中心となる考え方は、最小限で直感的な構文でプログラムの本質を「スケッチ」し、詳細を基盤となる言語に任せることです。キーワード駆動の宣言型構文を使用し、可読性と意図を重視し、迅速な反復と言語に依存しない設計をサポートしています。Reactコンポーネントのスケッチと、それが完全なReactコードにトランスパイルされる例を示しています。VS Code拡張機能も開発中です。

続きを読む
(github.com)
開発 スケッチプログラミング

eli：15年におよぶ組み込みLispインタプリタの探求

2025-03-15
eli：15年におよぶ組み込みLispインタプリタの探求

eliは、15年以上にわたる様々な言語における組み込みLispインタプリタの設計と実装の集大成です。個人のプロジェクトで組み込みLispが必要になったことから始まり、今では作者にとって最も重要な取り組みの一つとなっています。主にJavaで実装されており、Common Lispとの統合に向けた継続的な努力が続けられています。ベンチマークテストでは、特定の基準においてPythonに匹敵する性能を示しています。このプロジェクトは、ビット、呼び出し可能型、比較可能型、数え上げ可能型、文字、浮動小数点数、整数、イテレータ、イテラブル型、ライブラリ、リスト、マップ、型、メソッド、欠損値、数値型、ペア、文字列、識別子、時間の長さ、時点など、独自の型システムを備えています。条件分岐、ループ、マクロ、変数バインディング、型チェック、メソッド定義、オーバーロード、ラムダ式、名前空間/モジュールの管理など、豊富な機能セットを提供します。

続きを読む
(github.com)
開発 インタプリタ

RubyLLM：洗練されたRuby製AI連携ライブラリ

2025-03-15
RubyLLM：洗練されたRuby製AI連携ライブラリ

RubyLLMは、OpenAI、Anthropic、Gemini、DeepSeekなど様々なAIモデルとのやり取りを簡素化する、クリーンで使いやすいRubyライブラリです。統一されたAPIとデータ形式を提供することで、複数のAIプロバイダーの非互換なAPIを扱う煩わしさを解消します。RubyLLMは、チャット、画像・音声分析、PDF処理、画像生成、ベクトル埋め込み、カスタムツール統合など、幅広いAI機能をサポートしています。Railsとのシームレスな統合により、チャット履歴の保存が容易になります。その設計思想は、複雑な設定やコールバックに煩わされることなく、洗練されたRubyコードでAIと簡単にやり取りできるようにすることにあります。

続きを読む
(github.com)
開発

オープンソースのマルチエージェントフレームワークOWLがGAIAベンチマークでトップに

2025-03-14
オープンソースのマルチエージェントフレームワークOWLがGAIAベンチマークでトップに

CAMEL-AIフレームワーク上に構築された最先端のマルチエージェント連携フレームワークであるOWLが、GAIAベンチマークで平均スコア58.18点を達成し、1位を獲得しました！動的なエージェント間の相互作用により、様々な分野における、より自然で効率的、そして堅牢なタスクの自動化を実現します。OWLはオープンソースであり、様々なインストール方法とモデル（OpenAI、Qwen、DeepSeekなど）をサポートしており、ブラウザの自動化、マルチモーダル処理、ドキュメント解析などの豊富なツールキットを備えています。ユーザーフレンドリーなWebインターフェースも提供されています。OWLチームは、ユースケースへのコミュニティからの貢献を積極的に求めており、フレームワークの継続的な改善に取り組んでいます。

続きを読む
(github.com)
AI マルチエージェント連携 タスク自動化

Exo言語：インストール、開発、テストガイド

2025-03-14
Exo言語：インストール、開発、テストガイド

ExoはPython 3.9以降をサポートするプログラミング言語です。pipを使用して簡単にインストールできます。ExoファイルはPythonで直接実行でき、exoccコマンドでC/ヘッダーファイルが生成されます。開発には仮想環境の設定と、PySMTやCMakeなどの依存関係のインストールが必要です。テストにはz3-solver（または他のソルバー）とCMake 3.21以降が必要です。テストはさまざまなシナリオを網羅し、コードカバレッジテストをサポートしています。詳細情報と例はプロジェクトリポジトリにあります。

続きを読む
(github.com)
開発

確率的時系列予測：予測分析のパラダイムシフト

2025-03-14
確率的時系列予測：予測分析のパラダイムシフト

単一値予測に別れを告げましょう！確率的時系列予測は、単一の値ではなく、起こりうる結果とその確率を含む完全な確率分布を提供することで、予測分析に革命を起こします。これにより、より微妙で信頼性の高い意思決定が可能になります。研究によると、予測精度、誤差の低減、特に極端なイベントの予測において、大幅な改善が見られます。金融、医療、製造業など、さまざまなセクターが、リスク評価、リソース配分、在庫管理の改善から恩恵を受けています。この包括的なガイドでは、確率的予測の原理、方法（ベイズ法、ガウス過程、深層確率モデル）、およびさまざまな分野でのアプリケーションについて詳しく説明します。データの前処理、モデルの選択、不確実性の較正などの重要な技術についても取り上げます。

続きを読む
(github.com)
AI 確率的予測

WebUSBバイパス：U2Fの脆弱性を利用したRaspberry Pi Picoの制御

2025-03-14
WebUSBバイパス：U2Fの脆弱性を利用したRaspberry Pi Picoの制御

WebUSBなしでブラウザからRaspberry Pi Picoを制御しましょう！この記事では、U2Fセキュリティキープロトコルの脆弱性を悪用する方法を詳細に説明しています。U2Fセキュリティキーをエミュレートすることで、データを署名として偽装し、ブラウザのセキュリティ制限をバイパスしてPicoのLEDを制御します。これはU2Fの欠陥を利用していますが、それ自体がセキュリティの脆弱性ではありません。意図的にこの脆弱性を持つように設計されたデバイスでのみ機能します。この記事では、未知のUSBデバイスを接続することのリスクを強調しています。

続きを読む
(github.com)
ハードウェア

MCPGod：モデルコンテキストプロトコルサーバー管理の簡素化

2025-03-14
MCPGod：モデルコンテキストプロトコルサーバー管理の簡素化

MCPGodは、モデルコンテキストプロトコル（MCP）サーバーの管理を簡素化するために設計されたコマンドラインツールです。開発者は、サーバーの追加、実行、一覧表示、削除、およびサーバーツールとのインタラクションを簡単に実行できます。Windows、macOS、Linuxをサポートしており、詳細なログ記録によりデバッグが容易になります。機能には、特定のクライアントに対するMCPサーバーの追加または削除、任意のMCPサーバー上のすべてのツールのリスト表示、コマンドラインからのツールの直接実行、ツール/クライアント権限の制御などがあります。

続きを読む
(github.com)
開発

ArkFlow：高性能Rustストリーム処理エンジン

2025-03-14
ArkFlow：高性能Rustストリーム処理エンジン

ArkFlowは、RustとTokio上に構築された高性能ストリーム処理エンジンです。Kafka、MQTT、HTTPなどの複数のデータソースと、SQLクエリ、JSON処理、Protobufエンコード/デコードなどの様々なプロセッサをサポートしています。モジュール設計により拡張が容易で、YAML構成ファイルで設定を管理します。ユーザーは、入力、パイプライン、出力を定義して、KafkaからKafkaへのデータ処理やテストデータの生成と処理など、様々なストリーム処理タスクに対応できます。

続きを読む
(github.com)
開発

PrologでCコードを書く：C Plus Prologプロジェクト

2025-03-13
PrologでCコードを書く：C Plus Prologプロジェクト

C Plus Prologプロジェクトは、PrologとCを融合させる試みです。SWI-Prologの非標準機能を利用して、PrologコードをCコードに変換します。このプロジェクトは、Prologのメタプログラミング機能を用いて、マクロやジェネリクスなどの高度な機能を実装しています。冗長でエラーが発生しやすいものの、システムプログラミング言語におけるマクロの可能性を探求し、Prologのコード生成能力を示しています。独自の特徴にもかかわらず、Prologの機能を活用した、クロスプラットフォームなC開発のユニークなアプローチを提供します。

続きを読む
(github.com)
開発
1 2 … 30 31 32 34 36 37 38 … 50 51