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

Open Frontier Intelligence

3,497 285 Updated Jul 28, 2026

CLI to manage emails

Rust 6,746 218 Updated Jul 29, 2026

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

Python 29 3 Updated Jul 20, 2026

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

Clojure 3,035 191 Updated Jul 28, 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,085 1,490 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 306 9 Updated Jul 15, 2026

gcloud MCP server

TypeScript 870 79 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,520 346 Updated Jul 12, 2026

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

HTML 29 Updated Jul 11, 2026

Koka language compiler and interpreter

Koka 3,984 213 Updated Jul 28, 2026

Minecraft AI with LLMs+Mineflayer

JavaScript 5,558 877 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,910 518 Updated Jul 29, 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,473 2,315 Updated Jul 22, 2026

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

Go 36,891 2,159 Updated Aug 6, 2025

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

JavaScript 2,680 195 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,540 2,139 Updated Jul 27, 2026

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

Python 76,049 6,386 Updated Jul 29, 2026

SPARQL graph database

Rust 1,777 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,086 1,402 Updated Jul 25, 2026

An MCP server that lets LLM agents play Civilization VI.

Python 126 19 Updated Jun 21, 2026

A collection of guides and examples for the Gemma open models from Google.

Jupyter Notebook 3,928 642 Updated Jul 26, 2026

The Open-Source Multimodal AI Agent Stack: Connecting Cutting-Edge AI Models and Agent Infra

TypeScript 38,337 3,854 Updated Jul 1, 2026
Next