This is your work, valued

Sakamoto Noriaki

Expert
@na4zagin3

Interested in functional languages (Haskell, OCaml, Coq, &c) and natural languages (Ancient Greek, Georgian, Classical Chinese)

d.hatena.ne.jp/na4zagin3/

satyrographos. Package manager for SATySFi

48

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

19

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

11

satysfi-fss. Font Selection Scheme for SATySFi

6

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

4

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

3

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

3

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

3

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

3

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

2

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

2

public-slides.

2

sokutaipu-dict. Keystroke dictionary of Sokutaipu

2

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

1

SATySFi-fonts-junicode. SATySFi Font Package for Junicode

1

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

1

elm-grcnum. Greek numeral converters implemented in Elm

1

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

1

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

1

interactive-prover. Haskell

1