297 件（plurigrid のリポジトリ） ・ 人気順
概要と使いどころ
Attiya-Bar-Noy-Dolev atomic register emulation over message-passing. Load when designing quorum-based distributed storage, proving linearizability, or reasoning about fault-tolerant shared memory.
日本語の概要は準備中です。原文の説明を表示しています。
ABD quorum-based linearizable registers for distributed storage — the canonical crash-tolerant read/write protocol with precise RTT and message complexity.
日本語の概要は準備中です。原文の説明を表示しています。
Gay MCP skill at invocation 26
日本語の概要は準備中です。原文の説明を表示しています。
A **2-monad** is a monad internal to a 2-category K. Concretely, it consists of:
日本語の概要は準備中です。原文の説明を表示しています。
Bridge active inference theory with robot control using K-Scale's JAX/MuJoCo stack. Use when connecting predictive coding to locomotion policies, mapping KL divergence minimization to RL training, applying mean field approximation to robotics state estimation, or implementing sim2real as inference about future observations.
日本語の概要は準備中です。原文の説明を表示しています。
<!-- World A custom content -->
日本語の概要は準備中です。原文の説明を表示しています。
Adhd Ecs Olog
日本語の概要は準備中です。原文の説明を表示しています。
Attributed C-Sets as algebraic databases. Category-theoretic data structures generalizing graphs and dataframes with Gay.jl color integration.
日本語の概要は準備中です。原文の説明を表示しています。
From Interverse transcript (Sep-Oct 2025):
日本語の概要は準備中です。原文の説明を表示しています。