Popular repositories Loading

1. satyrographos satyrographos Public

   Package manager for SATySFi

   OCaml 45 13

2. satyrographos-repo satyrographos-repo Public

   Custom OPAM repository for SATySFi libraries managed by Satyrographos

   Shell 18 17

3. plover_japanese_sokutaipu plover_japanese_sokutaipu Public

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

   Python 8 1

4. satysfi-fss satysfi-fss Public

   Font Selection Scheme for SATySFi

   6 2

5. proof-overlay proof-overlay Public

   overlay mainly for automated provers and formal method tools

   Shell 3 1

6. pgreek.vim pgreek.vim Public

   Easily-customizable Vim keymap for typing polytonic Greek.

   Vim Script 3