Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor

Organizations

@aheui @sabal

Popular repositories

  1. Korean data for eSpeak

    Makefile 33 21

  2. New repository: https://github.com/proski/madwifi

    C 16 20

  3. Fake MS Windows, for April Fools tradition

    JavaScript 16 1

  4. Forked from pallets/flask

    Flask for Python 3.2 (Dependency: https://github.com/puzzlet/{werkzeug,itsdangerous}) Branches: py3-dev, py3

    Python 11 1

21 contributions in the last year

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

Contribution activity

May - August 2020

puzzlet has no activity yet for this period.

April 2020

Created an issue in vEnhance/napkin that received 2 comments

Rasiowa-Sikorski lemma

The original Rasiowa-Sikorski lemma demands the family of dense subsets to be countable. It seems that Napkin also assumes it ("hit them one by on…

2 comments

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

You can’t perform that action at this time.