Skip to content
Avatar
251 followers · 20 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 55 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 6 1

  6. haskell-nimber Public

    Finite nimber arithmetic

    Haskell 2

3,384 contributions in the last year

Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

February 2022

Created 8 commits in 3 repositories
Created 3 repositories

Created a pull request in NixOS/nixpkgs that received 3 comments

Linux kernel updates 2022-02-01

Motivation for this change Kernel 5.16.5 fixes an important bug in btrfs auto-defragmentation. Update all kernels using pkgs/os-specific/linux/kern…

+35 −35 • 3 comments
Opened 6 other pull requests in 6 repositories
h2non/filetype 1 open
h2non/filetype.py 1 open
NixOS/nix 1 open
zulip/zulip-desktop 1 merged
zulip/zulip 1 merged
json-schema-org/understanding-json-schema 1 merged
Reviewed 5 pull requests in 2 repositories

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