Block or report user

Report or block antalsz

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
  • University of Pennsylvania
  • Philadelphia, PA

Pinned repositories

  1. hs-to-coq

    Convert Haskell source code to Coq source code

    Coq 200 15

  2. urn-random

    A Haskell package for updatable discrete distributions

    Coq 6

  3. quantum-halftoning

    The quantum halftoning algorithm from the paper “Schrödinger’s Zebra”


  4. choose-your-own-derivative

    Code for the submitted TyDe '16 extended abstract and C∘mp∘se '17 talk "`choose` Your Own Derivative"

    Haskell 18

  5. tree-dye

    Random spanning tree “tie-dye”

    Haskell 1 1

  6. draft

    A LaTeX package for commands that exist only when a document is in draft mode

    TeX 3 1

196 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri
Activity overview
Contributed to antalsz/hs-to-coq, antalsz/tree-dye, antalsz/coqc-expand-errors and 5 other repositories

Contribution activity

December 2018

antalsz has no activity yet for this period.

November 2018

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