- Tokyo, Japan
- https://www.kaznak.work
Lists (30)
Sort Name ascending (A-Z)
🧠 AI
Data Sets
🏛️ Equipments
🧑🤝🧑 fediverse
Frontend
Game
Github
💡 idea
🖌️ Image Generation AI
📓 Info
👀 Interesting
☸️ kubernetes
🏭 Manufacture
🧰 MCPs
Model Context Protocol Servers🏥 Medical
Misc
🚀 My stack
NoCode/LowCode
Physical
🐘 PostgreSQL
prometheus
Proof and Verification
🦀 Rust
🔐 Security
🐚 shell script
⚙️ SystemsEngneering
📖 Text Books
trade
Wordpress
👓 XR
VR, MR, AR- All languages
- Agda
- Assembly
- Awk
- Bikeshed
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Dart
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- FreeMarker
- GAP
- GDScript
- Gleam
- Go
- Go Template
- HCL
- HTML
- Haskell
- Haxe
- Idris
- Isabelle
- Java
- JavaScript
- Jinja
- Jsonnet
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Makefile
- Markdown
- MoonBit
- Mustache
- Nix
- Nunjucks
- Nushell
- OCaml
- PHP
- PLSQL
- PLpgSQL
- Perl
- PostScript
- PowerShell
- Prolog
- Python
- R
- Rocq Prover
- Ruby
- Rust
- Scala
- Shell
- Smarty
- Solidity
- Standard ML
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- V
- Verilog
- Vue
- WebAssembly
- XSLT
- Zig
Starred repositories
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に掲載されている資料から作成した開発スキル
Formally Verified Float Implementation with lean4
Agent Skill for generating 2D sprite sheets and map, transparent PNG frames, and animated GIFs from prompts.
なんでも内容証明郵便形式は、内容証明郵便に好きなデータを載せるための(非公式)規格です。
Minecraft AI with LLMs+Mineflayer
A template for NUR repositories: [maintainer=@fgaz]
Nix User Repository: User contributed nix packages [maintainer=@Pandapip1]
The open agent skills tool - npx skills
CasaOS - A simple, easy-to-use, elegant open-source Personal Cloud system.
A coding-agent skill for multi-phase security audits with independently verified, machine-readable findings
A format specification for describing a visual identity to coding agents. DESIGN.md gives agents a persistent, structured understanding of a design system.
Transforms complex documents like PDFs and Office docs into LLM-ready markdown/JSON for your Agentic workflows.
Reverse Engineering / Authorized Penetration Testing / Security Research Skill Router Pack AI-powered routing + On-demand toolchain bootstrapping + Self-evolving knowledge base Supports Claude Code…
An MCP server that lets LLM agents play Civilization VI.
A collection of guides and examples for the Gemma open models from Google.
The Open-Source Multimodal AI Agent Stack: Connecting Cutting-Edge AI Models and Agent Infra