Skip to content
View minhnhdo's full-sized avatar
Block or Report

Block or report minhnhdo

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


  1. DistCompiler/pgo DistCompiler/pgo Public

    PGo is a source to source compiler from Modular PlusCal specs into Go programs.

    TLA 170 13

  2. rust-stem rust-stem Public

    Porter's stemmer for rust

    Rust 22 15

  3. go-ffmpeg go-ffmpeg Public

    go-ffmpeg is a simple wrapper around the ffmpeg library

    Go 8 5

  4. cbigint cbigint Public

    A BigInt library for C

    C 3

  5. pyscheme pyscheme Public

    A scheme in python

    Python 3 1

  6. psswrd-solver psswrd-solver Public