Skip to content
View kaznak's full-sized avatar

Block or report kaznak

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

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

Python 13,774 1,498 Updated Jul 30, 2026

Sail RISC-V model

Sail 742 278 Updated Jul 30, 2026

Open Frontier Intelligence

7,553 508 Updated Jul 28, 2026

CLI to manage emails

Rust 6,785 218 Updated Jul 30, 2026

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

Python 32 3 Updated Jul 20, 2026

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

Clojure 3,038 191 Updated Jul 30, 2026

An experimental optimizing compiler for Bril using egglog

Rust 100 17 Updated Jul 28, 2026

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

Python 19,108 1,492 Updated Jul 24, 2026

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

Go 58 7 Updated Jun 30, 2026

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

TypeScript 308 75 Updated Jul 28, 2026

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

Shell 310 9 Updated Jul 15, 2026

gcloud MCP server

TypeScript 875 80 Updated Jul 25, 2026

Formally Verified Float Implementation with lean4

Lean 17 3 Updated Jul 22, 2026

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

Python 3,552 348 Updated Jul 12, 2026

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

HTML 29 Updated Jul 11, 2026

Koka language compiler and interpreter

Koka 3,989 214 Updated Jul 30, 2026

Minecraft AI with LLMs+Mineflayer

JavaScript 5,572 879 Updated Jun 10, 2026

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

Nix 159 109 Updated Jul 27, 2026

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

Python 1,913 519 Updated Jul 31, 2026

Cerberus C semantics

OCaml 92 39 Updated Jul 6, 2026

Lem semantic definition language

OCaml 161 22 Updated Jun 10, 2026
Agda 15 1 Updated Jul 11, 2025

The open agent skills tool - npx skills

TypeScript 27,645 2,332 Updated Jul 31, 2026

CasaOS - A simple, easy-to-use, elegant open-source Personal Cloud system.

Go 36,928 2,165 Updated Aug 6, 2025

A coding-agent skill for multi-phase security audits with independently verified, machine-readable findings

JavaScript 2,715 198 Updated Jul 6, 2026

A format specification for describing a visual identity to coding agents. DESIGN.md gives agents a persistent, structured understanding of a design system.

TypeScript 26,763 2,179 Updated Jul 27, 2026

Transforms complex documents like PDFs and Office docs into LLM-ready markdown/JSON for your Agentic workflows.

Python 76,307 6,407 Updated Jul 30, 2026

SPARQL graph database

Rust 1,784 156 Updated Jul 26, 2026

Reverse Engineering / Authorized Penetration Testing / Security Research Skill Router Pack AI-powered routing + On-demand toolchain bootstrapping + Self-evolving knowledge base Supports Claude Code…

PowerShell 9,851 1,530 Updated Jul 25, 2026

An MCP server that lets LLM agents play Civilization VI.

Python 126 20 Updated Jun 21, 2026
Next