close
The Wayback Machine - https://web.archive.org/web/20220126132216/https://github.com/yoff
Skip to content
Avatar
4 followers · 1 following

Highlights

Block or Report

Block or report yoff

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. codeql Public

    Forked from github/codeql

    CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security (code scanning), LGTM.com, and LGTM Enterprise

    CodeQL 1

  2. yoff.github.io Public

    For show and tell

    HTML 1

  3. untied Public

    Material related to untied fixed points

    F# 1

  4. rubik Public

    Flat representation of Rubik's cube

    F# 1

  5. sheet-music Public

    Sheet music by yoff

    LilyPond 1

  6. vscode-codeql-starter Public

    Forked from github/vscode-codeql-starter

    Starter workspace to use with the CodeQL extension for Visual Studio Code.

    CodeQL

674 contributions in the last year

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

Contribution activity

January 2022

Created 4 commits in 1 repository

Created a pull request in yoff/codeql that received 2 comments

Python: support match

Cleaned up version of github#7356 AST nodes for patterns sub expressions, sub statements, and sub patterns add sub patterns to the new case state…

+187,529 −76,417 • 2 comments
Opened 3 other pull requests in 1 repository
Reviewed 7 pull requests in 1 repository

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