Sakamoto Noriaki

satyrographos. Package manager for SATySFi

satyrographos-repo. Custom OPAM repository for SATySFi libraries managed by Satyrographos

plover_japanese_sokutaipu. The Sokutaipu Japanese Realtime stenography system for Plover. (WIP)

satysfi-fss. Font Selection Scheme for SATySFi

g1951d-fonts. Collection of fonts which distributed by George Douros.

satyrographos-repo-alpha. Custom OPAM repository for SATySFi libraries compatible with the next major version of SATySFi

pgreek.vim. Easily-customizable Vim keymap for typing polytonic Greek.

proof-overlay. overlay mainly for automated provers and formal method tools

Sprechen-Sie-Attisch. Digitalized "Sprechen Sie Attisch?" with LaTeX

graph-llvm-ir. Rewritings of https://github.com/pfalcon/graph-llvm-ir with OCaml.

luatexja-sibu. LuaTeX Package for Typesetting Japanese with "Shibu-Ake Rule" (Quater-Em Spacing)

public-slides.

sokutaipu-dict. Keystroke dictionary of Sokutaipu

SATySFi-fonts-cormorant. SATySFi Font Package for Cormorant fonts

SATySFi-fonts-junicode. SATySFi Font Package for Junicode

epar. Extensible Plain-text Archive (.epar) Format

elm-grcnum. Greek numeral converters implemented in Elm

SATySFi-fonts-theano. SATySFi Font Package for Alexey Kryukov's Theano Classical Fonts

EV3-Line-Follower. Line follower for LEGO Mindstorms EV3 using EV3Command and OpenCV.

interactive-prover. Haskell