pyrefly
Python 用の高速型チェッカーおよび言語サーバー。現実世界の Python を理解します。 Pydantic、Django、pytest などのフレームワークとツールのサポートが組み込まれており、モデル検証、フィールド タイプ、フィクスチャ ナビゲーション、オートコンプリートがすぐに機能します。
HYSEN LABS ディレクトリ
用途タグ · 厳選リポジトリと詳細分析。
Python 用の高速型チェッカーおよび言語サーバー。現実世界の Python を理解します。 Pydantic、Django、pytest などのフレームワークとツールのサポートが組み込まれており、モデル検証、フィールド タイプ、フィクスチャ ナビゲーション、オートコンプリートがすぐに機能します。
このプロジェクトは「JavaScript YAML parser and dumper. Very fast. Supports both the 1.2 and 1.1 specs, and passes the entire YAML Test Suite.」を基盤として、実践的に使えるオープンソース実装を提供し、再利用可能なツールチェーンと統合手段を備えています。
PDF。全国初中等教育スマート教育プラットフォーム電子教科書ダウンロードツールを使用すると、スマート教育プラットフォームから電子教科書の PDF ファイル URL を取得してダウンロードできるため、教科書コンテンツをより便利に入手できます。
手頃な価格の多機能 Nano RISC-V IP-KVM。コンピューターの前に座っているかのように、コンピューターにリモートでアクセスして制御できるため、サーバー、組み込みシステム、その他のヘッドレス マシンに役立ちます。
楽観主義はスケーリングされたイーサリアムです。 Optimism は、イーサリアムのテクノロジーを拡張し、世界中の人々を調整して効果的な分散型経済とガバナンス システムを構築する能力を拡大することに特化したプロジェクトです。
ビッグデータのアップサート、削除、増分処理。 Apache Hudi Apache Hudi は、複数のクラウド データ環境にわたってデータの取り込み、インデックス付け、保存、提供、変換、管理を行うための、高性能オープン テーブル形式に基づいて構築されたオープン データ レイクハウス プラットフォームです。
このプロジェクトは「Pony is an open-source, actor-model, capabilities-secure, high performance programming language.」を基盤として、実践的に使えるオープンソース実装を提供し、再利用可能なツールチェーンと統合手段を備えています。
uBlock Origin および uBlock Origin Lite のフィルター リスト。 uBO のフィルター リストに含まれるフィルターはすべて、拡張構文を使用する必要があります。
ポケモンバトルシミュレーター。 [sim/SIM-PROTOCOL.md][5] - 戦闘および戦闘メッセージに使用されるプロトコルの一部。
MLT フレームワークと KDE フレームワークに基づく、無料のオープンソース ビデオ エディター。
Mac の TextEdit と同じですが、Markdown 専用です。 MarkEdit MarkEdit は、macOS 用の無料のオープンソース Markdown エディターです。
すべての RE Engine ゲームに対する Mod ローダー、スクリプティング プラットフォーム、および VR のサポート。
GitHub は GitHub GitHub をホストします。 GitHub ホスト GitHub GitHub ホスト ホスト GitHub : : Github ページ: GitHub FastDev ホスト GitHub Gitlab 1.
Jupyter Notebook を使用して楽しいソフトウェアを作成します。ドキュメントは LaTeX をサポートし、検索可能で、自動的にハイパーリンクされます (nbdev-index を介した多くのパッケージのすぐに使用できるサポートを含む) パッケージを PyPI と conda に公開するだけでなく、パッケージのリリースを簡素化するツールも提供します。
crimera/pikoは実運用向けに使える実用的なオープンソース実装で、再利用可能な導入ルートを持つプロジェクトです。
Claude Code / Codex / Gemini / OpenCode のアプリ、いつでもどこでもバイブコーディング。 HAPI 公式の Claude Code / Codex / Cursor Agent / Grok Build / OpenCode セッションをローカルで実行し、Web / PWA / Telegram Mini アプリを通じてリモートで制御します。
X/Twitter と Bluesky の埋め込みを修正してください! Discord、Telegram などで複数の画像、ビデオ、投票、翻訳などを使用します。
単純な TypeScript API を装って、TypeScript 経由で MCP を呼び出します。または、cli としてパッケージ化します。
open-telemetry/opentelemetry-collector-contribは実運用向けに使える実用的なオープンソース実装で、再利用可能な導入ルートを持つプロジェクトです。
Rime 入力メソッド エンジン、コア ライブラリ。 RIME: Rime 入力メソッド エンジン === キーストロークを操作します。