conjikidow

The University of TokyoJapan

Pinned Repositories

latex-listings-pddl
Syntax highlighting support for PDDL in the LaTeX listings package
Language:TeX00
latex-templates-jsass
日本航空宇宙学会講演集原稿用LaTeXテンプレート
Language:TeX21
latex-texmf
LaTeX texmf tree
00
slack-notifier
A simple Python package for sending Slack notifications
Language:Python00
SMTPlan
PDDL+ planning through compilation to SMT (fork)
Language:C++00
tty0tty
Null modem emulator
Language:C00
ubuntu-environment
Ubuntu environment setup support
Language:Shell00
unified-planning
The AIPlan4EU Unified Planning Library
Language:Python00
utokyo-wifi-connector
An unofficial command-line tool to connect to the UTokyo Wi-Fi.
Language:Shell00
zsh-environment
Useful zsh configuration files
Language:Shell00

conjikidow's Repositories

conjikidow/latex-templates-jsass
日本航空宇宙学会講演集原稿用LaTeXテンプレート
Language:TeX21
conjikidow/latex-listings-pddl
Syntax highlighting support for PDDL in the LaTeX listings package
Language:TeX00
conjikidow/latex-texmf
LaTeX texmf tree
00
conjikidow/slack-notifier
A simple Python package for sending Slack notifications
Language:Python00
conjikidow/SMTPlan
PDDL+ planning through compilation to SMT (fork)
Language:C++00
conjikidow/tty0tty
Null modem emulator
Language:C00
conjikidow/ubuntu-environment
Ubuntu environment setup support
Language:Shell00
conjikidow/unified-planning
The AIPlan4EU Unified Planning Library
Language:Python00
conjikidow/utokyo-wifi-connector
An unofficial command-line tool to connect to the UTokyo Wi-Fi.
Language:Shell00
conjikidow/zsh-environment
Useful zsh configuration files
Language:Shell00