Runtime-agnostic container library for Rust on macOS and Linux

温泉の法制度・分類体系のオントロジー（OWL/RDF）と、SPARQL推論 + Amazon Bedrock tool calling による温泉爺エージェント

sparkDash ⚡ — Multi-DGX Spark Monitoring Dashboard

Hy3 (295B A21B), a leading reasoning and agent model in its size, with great cost efficiency.

DeepSeek Harness: Everything is a Plugin.

LMCache: Supercharge Your LLM with the Fastest KV Cache Layer

DeepSeek-v4-Flash 0731 recipe for 2x DGX Sparks

CPU assembly examples

Living universe of Self-Aware-Inteligences.

Turn any technical book PDF into a Claude Code skill — ready to study, reference, and use while you work.

Sail RISC-V model

Open Frontier Intelligence

CLI to manage emails

Code for Bridging the Gap Between Latent and Explicit Reasoning with Looped Transformers (https://arxiv.org/abs/2606.31779)

An immutable SQL database for application development, time-travel reporting and data compliance. Developed by @juxt

An experimental optimizing compiler for Bril using egglog

A Flexible Framework for Experiencing Heterogeneous LLM Inference/Fine-tune Optimizations

Create your WardleyMaps as code/data and render it as SVG (onlinewardleymap and wtg language supported)

OnlineWardleyMaps.com - Draw Wardley Maps in seconds using this free online tool

ミノ駆動氏のWebに掲載されている資料から作成した開発スキル

gcloud MCP server

Formally Verified Float Implementation with lean4

Agent Skill for generating 2D sprite sheets and map, transparent PNG frames, and animated GIFs from prompts.

なんでも内容証明郵便形式は、内容証明郵便に好きなデータを載せるための（非公式）規格です。

Koka language compiler and interpreter

Minecraft AI with LLMs+Mineflayer

A template for NUR repositories: [maintainer=@fgaz]

Nix User Repository: User contributed nix packages [maintainer=@Pandapip1]

Cerberus C semantics