Block or report user

Report or block kevinclancy

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. typedlua

    Forked from andremm/typedlua

    An Optional Type System for Lua

    Lua 9

  2. levitate

    Utilities for verified floating-point computation in Haskell: Controlled rounding, interval arithmetic, and affine arithmetic.

    Haskell 1

  3. hopl-s2017

    Forked from nuprl/hopl-s2017

    History of Programming Languages, Spring 2017

    TeX 1

  4. kind2

    Forked from kind2-mc/kind2

    Multi-engine SMT-based automatic model checker for safety properties of Lustre programs


  5. L3-Redex


  6. typedlua_redex


165 contributions in the last year

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

Contribution activity

September 2018

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