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

LMCache: Supercharge Your LLM with the Fastest KV Cache Layer

Python 11,123 1,692 Updated Aug 12, 2026

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

Python 627 81 Updated Aug 12, 2026

CPU assembly examples

Assembly 92 6 Updated May 19, 2024
Python 8,777 2,461 Updated Jul 23, 2026

Living universe of Self-Aware-Inteligences.

Python 41 5 Updated Aug 6, 2026

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

Python 20,807 2,197 Updated Aug 12, 2026

Sail RISC-V model

Sail 749 287 Updated Aug 10, 2026

Open Frontier Intelligence

8,388 649 Updated Aug 6, 2026

CLI to manage emails

Rust 7,011 225 Updated Aug 11, 2026

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

Python 35 3 Updated Jul 20, 2026

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

Clojure 3,041 192 Updated Aug 12, 2026

An experimental optimizing compiler for Bril using egglog

Rust 100 17 Updated Aug 5, 2026

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

Python 19,228 1,518 Updated Aug 8, 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 309 75 Updated Aug 11, 2026

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

Shell 315 9 Updated Jul 15, 2026

gcloud MCP server

TypeScript 885 82 Updated Aug 11, 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,717 361 Updated Jul 12, 2026

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

HTML 30 Updated Jul 11, 2026

Koka language compiler and interpreter

Koka 4,016 216 Updated Aug 10, 2026

Minecraft AI with LLMs+Mineflayer

JavaScript 5,631 889 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,916 528 Updated Aug 12, 2026

Cerberus C semantics

OCaml 91 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 28,750 2,436 Updated Aug 10, 2026

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

Go 37,042 2,176 Updated Aug 6, 2025

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

JavaScript 2,856 216 Updated Jul 6, 2026
Next