The Wayback Machine - https://web.archive.org/web/20210725031439/https://github.com/shd101wyy
Skip to content
Avatar
🏠
Working from home
🏠
Working from home
573 followers · 57 following · 1.3k
  • Mars, Solar system, Universe

Sponsors

@raphaelyuxun
@StefanoCecere
@lonelyhentai @mcbsd
@ballombert @ricokareem @hoopsomuah @zerobase @davidzgli @cnwangjie
+31

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor
Block or Report

Block or report shd101wyy

Report abuse

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

Report abuse

Pinned

  1. 0xGG/crossnote

    📝 An interesting markdown note taking application

    JavaScript 652 42

  2. 0xGG/EchoMD

    Forked from laobubu/HyperMD

    An experimental WYSIWYG markdown editor built on top of HyperMD with extended Widgets support

    TypeScript 28 1

  3. markdown-preview-enhanced

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

    HTML 3.3k 464

  4. logic.js

    JavaScript implementation of modified version of miniKanren

    JavaScript 20 4

  5. qubit.js

    A very simple quantum computing circuit simulator.

    JavaScript 16 6

  6. lisp2js

    Simple Lisp that compiles to JavaScript

    JavaScript 10

1,386 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
Activity overview
Contributed to 0xGG/crossnote, 0xGG/myobu-bank, kframework/k and 5 other repositories

Contribution activity

July 2021

Created 23 commits in 9 repositories

Created a pull request in runtimeverification/k-web-theme that received 1 comment

Support page ToC

Demo website: https://shd101wyy.github.io/k/

+279 −0 • 1 comment
Opened 6 other pull requests in 5 repositories
0xGG/myobu-chat
2 merged
kframework/evm-semantics
1 merged
kframework/k
1 open
runtimeverification/rv-toolkit-docs
1 merged
shd101wyy/vscode-markdown-preview-enhanced
1 merged
Reviewed 3 pull requests in 3 repositories
runtimeverification/michelson-semantics 1 pull request
runtimeverification/iele-semantics 1 pull request
kframework/k 1 pull request
33 contributions in private repositories Jul 1 – Jul 23