The Wayback Machine - https://web.archive.org/web/20221130113149/https://github.com/andersk
Skip to content
Avatar
Block or Report

Block or report andersk

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. Macro to generate num::FromPrimitive instances for enum that works in Rust 1.0

    Rust 60 21

  2. tiny-lambda Public

    A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell

    Haskell 10 1

  3. Source for Understanding Git cluedump slides, 2008-10-21

    TeX 6

  4. haskell-cgi Public

    A library for writing CGI programs

    Haskell 7 7

  5. Exact computation with constructible real numbers

    Haskell 9 1

  6. Finite nimber arithmetic

    Haskell 2

Contribution activity

November 2022

Created 2 repositories

Created a pull request in zulip/zulip that received 7 comments

migrations: Fix Python-looped SQL in 0376; don’t crash if no user found.

Django compiles this to the (single) SQL query UPDATE "zerver_realmemoji" SET "author_id" = ( SELECT U0."id" FROM "zerver_userprofile" U0 WHERE ( U0."

+9 −13 7 comments
Opened 50 other pull requests in 8 repositories
charliermarsh/ruff 23 merged
zulip/zulip 20 merged
typeddjango/django-stubs 2 merged
iamcal/emoji-data 1 open
NixOS/nixpkgs 1 merged
pytest-dev/py 1 open
python/mypy 1 open
PyCQA/isort 1 open

Created an issue in charliermarsh/ruff that received 7 comments

isort incompatibilites with lowercase, MixedCase, UPPERCASE

isort --profile=black --ca: import lowercase import MixedCase import UPPERCASE from module import UPPERCASE, MixedCase, lowercase ruff --select=I: i…

7 comments
47 contributions in private repositories Nov 3 – Nov 26