Skip to content
Avatar
1 follower · 0 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor
BetaSend feedback

Organizations

@pnpm
Block or Report

Block or report michens

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. learn-lean Public

    Lean

  2. sizer Public

    TypeScript

  3. microsoft/TypeScript Public

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

    TypeScript 82.8k 10.8k

  4. pnpm/pnpm Public

    Fast, disk space efficient package manager -- 快速的，节省磁盘空间的包管理工具

    TypeScript 18.6k 531

  5. terser/terser Public

    🗜 JavaScript parser, mangler and compressor toolkit for ES6+

    JavaScript 7.2k 307

  6. idris-lang/Idris-dev Public

    A Dependently Typed Functional Programming Language

    Haskell 3.4k 665

25 contributions in the last year

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

Contribution activity

July 2022

Created an issue in darkreader/darkreader that received 1 comment

[Broken Website] Dynamic mode resizes/hides elements on gdqrs

Broken Website Report Website Address https://gman003.github.io/gdqrs/?m=sgdq2022 Steps To Reproduce Go to site Resize window so the body is 1905…

1 comment

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