Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor
  • Pro

Popular repositories

  1. Android application intended to assist carpenters doing technical theatre work.

    Java 6 1

  2. UAV Tracking Software for CSE 145 Project

    C++ 2 2

  3. Forked from amonks/react-drag-sort

    draggable sort component

    JavaScript 1

  4. Forked from Julusian/react-bootstrap-switch

    Turn checkboxes into toggle switches.

    JavaScript

  5. Forked from dangrossman/daterangepicker

    Date range picker component for Bootstrap

    JavaScript

  6. Forked from skratchdot/react-bootstrap-daterangepicker

    A date/time picker for react (using bootstrap). This is a react port of bootstrap-daterangepicker.

    JavaScript

112 contributions in the last year

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

Contribution activity

August 2020

Created a pull request in ucsd-progsys/liquidhaskell that received 1 comment

Further simplify `and` and `or` expressions in fixpoint

Sometimes Liquid Haskell will generate FQ files that contain duplicate expressions in the refinement type: bind 175 lq_anf$##7205759403792800202##d…

+1 −1 1 comment

Created an issue in ucsd-progsys/liquidhaskell that received 3 comments

Verification does not terminate when reflected function used instead of measure

LiquidHaskell does not terminate on the following code: {-@ LIQUID "--reflection" @-} {-@ LIQUID "--ple" @-} {-@ reflect length' @-} {-@ length' :: [a

3 comments

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

You can’t perform that action at this time.