Block or report user

Report or block qnighy

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Organizations

@coqjp

Popular repositories

  1. ipc_solver

    O(N log N)-space IPC solver in OCaml

    OCaml 27 1

  2. tapir

    RGSS compatible runtime (namely: emulator for RPG Maker XP, VX, and VX Ace)

    C 18 4

  3. satysfi.vim

    Vim syntax plugin for SATySFi typesetting system

    Vim script 16

  4. ransomware-demo

    A proof-of-concept for ransomware encryption

    Shell 12 11

  5. satysfi-cross-windows

    Crosscompiling SATySFi from Ubuntu to Windows

    NSIS 12 2

  6. yasna.rs

    ASN.1 library for Rust

    Rust 9 3

1,034 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri

Contribution activity

August 2018

Seeing something unexpected? Take a look at the GitHub profile guide.