- 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
- Sail
- Scala
- Shell
- Smarty
- Solidity
- Standard ML
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- V
- Verilog
- Vue
- WebAssembly
- XSLT
- Zig
Starred repositories
LMCache: Supercharge Your LLM with the Fastest KV Cache Layer
DeepSeek-v4-Flash 0731 recipe for 2x DGX Sparks
Turn any technical book PDF into a Claude Code skill — ready to study, reference, and use while you work.
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