-
PL Lab, National Tsing Hua University
- Taiwan
- https://blog.kotatsu.dev/
- https://codeberg.org/kotatsuyaki
Block or Report
Block or report kotatsuyaki
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (3)
Sort Name ascending (A-Z)
Stars
Language
Sort by: Recently starred
Typst package for drawing diagrams with arrows, built on top of CeTZ.
Virtual whiteboard for sketching hand-drawn like diagrams
☄️ Simple but effective sorting and filtering for Emacs.
Documenting the Xilinx Ultrascale, Ultrascale+ and UltraScale MPSoC series bit-stream format.
Cuti: A simple typst package simulates fake bold / fake italic characters. | Cuti:在 typst 中便捷使用伪粗体/伪斜体
Typst live preview minor mode for emacs
Touying is a powerful package for creating presentation slides in Typst.
A package for creating slides in Typst
A brand-new language server for Typst, plus a VS Code extension
Jump around your source code in emacs using treesit and avy
KeePass-compatible password manager for iOS
Small set of gdb commands for useful tasks in tvm
Making In-Browser perceptual ad-blocking practical with Deep Learning
An implementation of the Language Server Protocol for Python
Progress bars from Nix internal-json log