Skip to content
View na4zagin3's full-sized avatar

Highlights

  • Pro

Block or report na4zagin3

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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 9 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