Skip to content
Avatar
348 followers · 49 following

Achievements

Achievement: Pull Sharkx4Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pull Sharkx4Achievement: Arctic Code Vault Contributor
BetaSend feedback

Highlights

  • Pro

Organizations

@breach
Block or Report

Block or report spolu

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

Popular repositories

  1. warp Public

    Secure and simple terminal sharing

    Go 1.6k 50

  2. dwm.vim Public

    Tiled Window Management for Vim

    Vim script 692 81

  3. repl Public

    To JSON what Excel is to CSV

    JavaScript 142 16

  4. node-shell Public

    Atom Shell bindings for nodeJS

    JavaScript 56 7

  5. settle Public

    Decentralized trust graph for value exchange without a blockchain

    Go 54 10

  6. dazzle Public

    Dazzle: mobile web browser engineered from first-principle

    JavaScript 26 5

1,030 contributions in the last year

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

Contribution activity

June 2022

Created 2 commits in 1 repository
Reviewed 1 pull request in 1 repository
openai/miniF2F 1 pull request

Created an issue in leanprover-community/lean that received 2 comments

Lean accepts {! !} within proofs leading to inconsistent type-checking.

Prerequisites Put an X between the brackets on this line if you have done all of the following: Checked that your issue isn't already filed. Sp…

1 task done
• 2 comments
5 contributions in private repositories Jun 10 – Jun 17

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