Skip to content
View mckaz's full-sized avatar
4 followers · 0 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback
Block or Report

Block or report mckaz

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

  1. vmcai-rdl vmcai-rdl Public

    An extension of RDL with refinement types.

    Ruby 3

  2. RubyMoney RubyMoney Public

    Ruby 2

  3. dsl-infer-rdl dsl-infer-rdl Public

    Ruby 1

  4. FStar FStar Public

    Forked from FStarLang/FStar

    An ML-like language with a type system for program verification

    OCaml

  5. tzinfo tzinfo Public

    Forked from tzinfo/tzinfo

    TZInfo - Ruby Timezone Library

    Ruby

  6. review review Public

    Forked from kmuto/review

    Re:VIEW is flexible document format/conversion system

    Ruby