Skip to content
Avatar
264 followers · 21 following

Achievements

Mars 2020 Helicopter Contributor
Arctic Code Vault Contributor

Achievements

Mars 2020 Helicopter Contributor
Arctic Code Vault Contributor

Organizations

@barnowl @mitex @sipb @mit-scripts @zulip @mit-athena @zephyr-im @mit @mobile-shell @llvm
Block or Report

Block or report andersk

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

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

Report abuse

Pinned

  1. enum_primitive-rs Public

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

    Rust 59 20

  2. tiny-lambda Public

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

    Haskell 10 1

  3. git-cluedump Public

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

    TeX 5

  4. haskell-cgi Public

    A library for writing CGI programs

    Haskell 6 7

  5. haskell-constructible Public

    Exact computation with constructible real numbers

    Haskell 7 1

  6. haskell-nimber Public

    Finite nimber arithmetic

    Haskell 2

2,601 contributions in the last year

May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri
Learn how we count contributions
Less More
NEW! View your contributions in 3D, VR and IRL!

Contribution activity

May 2022

Created 39 commits in 9 repositories
Created 4 repositories

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

Revert "apt-repos: Downgrade PostgreSQL to dodge PGroonga regression."

This reverts commit 9c8d2b7 (#21115). The PostgreSQL fix was released 2022-05-12.

+4 −29 • 4 comments
Opened 30 other pull requests in 12 repositories
zulip/zulip 15 merged 1 open
NixOS/nixpkgs 2 open 1 merged
benjamn/recast 2 merged
alexmv/kansas 1 open
benjamn/ast-types 1 open
python-poetry/poetry 1 merged
python-poetry/poetry-plugin-export 1 merged
zulip/zulint 1 merged
mozilla-mobile/mozilla-vpn-client 1 open
django/django 1 open
electron/remote 1 merged
PyCQA/isort 1 merged
Reviewed 17 pull requests in 7 repositories
zulip/zulip 9 pull requests
NixOS/nixpkgs 2 pull requests
zulip/zulint 2 pull requests
alexmv/kansas 1 pull request
python-poetry/poetry 1 pull request
mozilla-mobile/mozilla-vpn-client 1 pull request
electron/remote 1 pull request

Created an issue in python/mypy that received 3 comments

Can’t use DefaultArg(…) within Concatenate[…]

There seems to be no way to annotate a decorator that prepends a parameter with a default value. Trying to use DefaultArg(…) within Concatenate[…] …

3 comments
Opened 8 other issues in 7 repositories
NixOS/nixpkgs 2 open
nix-community/poetry2nix 1 open
benjamn/ast-types 1 open
PyCQA/isort 1 open
samueldr/nix-top 1 open
python/mypy 1 open
webpack/webpack 1 open
21 contributions in private repositories May 2 – May 11

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