Skip to content
Avatar
🏠
Working from home
🏠
Working from home
  • Block or report user

    Block or report shd101wyy

    Block user

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

    Report abuse

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

    Report abuse
493 followers · 55 following · 1.2k

Highlights

  • Arctic Code Vault Contributor

Sponsors

@calaldees @AkisKK @evelynfredin @Golgothus @WenhaoSu @cnwangjie @davidzgli @zerobase @hoopsomuah @fasalgad @maximilian-sprengholz @kislerdm @ricokareem
+15

Pinned

  1. 0xGG/crossnote

    📝 An interesting markdown note taking application

    TypeScript 417 21

  2. 0xGG/vscode-crossnote

    (WIP) Turn your VSCode into a decent markdown note taking platform

    TypeScript 276 2

  3. markdown-preview-enhanced

    One of the 'BEST' markdown preview extensions for Atom editor!

    HTML 3k 410

  4. logic.js

    JavaScript implementation of modified version of miniKanren

    JavaScript 17 3

  5. qubit.js

    A very simple quantum computing circuit simulator.

    JavaScript 11 4

  6. lisp2js

    Simple Lisp that compiles to JavaScript

    JavaScript 9

2,621 contributions in the last year

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

Contribution activity

November 2020

Created a pull request in runtimeverification/iele-semantics that received 2 comments

[WIP] Documentation website

Example page: https://shd101wyy.github.io/iele-semantics/ Fixes: runtimeverification/iog-pm#13 TODO: Needs iele logo (light and dark) used in top…

+15,481 −0 • 2 comments
Reviewed 1 pull request in 1 repository
kframework/k 1 pull request
20 contributions in private repositories Nov 2 – Nov 13

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

You can’t perform that action at this time.