Kitano-Kaneko, Naoki's repositories
mdbook-satysfi
A mdbook backend for generating SATySFi documents.
satysfi-code-printer
Typeset source code with SATySFi
satysfi-class-template
Flexible setting able SATySFi class files
SATySFi-siunitx
A comprehensive (SI) units package
BibSATySFi
Convert Bib file to SATySFi file
law-analysis-report
筑波大学産学間連携推進室( http://www.ac-room.org/ )で研究している内容の成果報告です
satysfi-class-mdbook-satysfi
A SATySFi class file for processing document file generated by mdbook-satysfi
SATySFi-json
json parser for SATySFi
satysfifmt
Tool to format SATySFi code.
SATySFi-xml
XML parser with SATySFi
coins_special_seminar_code_format_ml
情報科学特別演習で実装しているコードフォーマットライブラリ(OCamlでの実装)
coins_special_seminar_code_format_rs
情報科学特別演習で実装しているコードフォーマットライブラリ
opam-repository
Main public package repository for opam, the source package manager of OCaml.
report-template
SATySFiのレポートテンプレート
satyrographos
Package manager for SATySFi
satyrographos-repo
Custom OPAM repository for SATySFi libraries managed by Satyrographos
satysfi-base
complementary collection of useful functions and modules for SATySFi
SATySFi-math-cmd
SATySFiの数学記号出力結果