shd101wyy

Designing a programming language that supports linear types, mutable value semantics, and algebraic effects (one-shot), and implementing a compiler for it.

Mars, Solar system, Universe

Pinned Repositories

crossnote-app
📝 An interesting markdown note taking application
Language:JavaScript1.1k 25 10282
crossnote
Powerful markdown tool
Language:JavaScript501 12 119127
ebook-example
ebook example for markdown preview enhanced
Language:HTML11 3 016
lisp2js
Simple Lisp that compiles to JavaScript
Language:JavaScript12 4 01
logic.js
JavaScript implementation of modified version of miniKanren
Language:JavaScript32 4 25
markdown-preview-enhanced
One of the 'BEST' markdown preview extensions for Atom editor!
Language:HTML4.2k 79 0516
Python_Reverse_TCP
simple reverse tcp backdoor hack
Language:JavaScript63 8 332
qubit.js
A very simple quantum computing circuit simulator.
Language:JavaScript23 4 18
ribbit
An experimental, decentralized, lightweight social media web application WITHOUT CENTRAL SERVER based on Ethereum platform. 基于以太坊的去中心化，轻量级，无中心服务器的社交程序。
Language:TypeScript25 4 325
vscode-markdown-preview-enhanced
One of the "BEST" markdown preview extensions for Visual Studio Code
Language:TypeScript1.5k 29 1.9k173

shd101wyy's Repositories

shd101wyy/logic.js
JavaScript implementation of modified version of miniKanren
Language:JavaScript32 4 25
shd101wyy/qubit.js
A very simple quantum computing circuit simulator.
Language:JavaScript23 4 18
shd101wyy/ebook-example
ebook example for markdown preview enhanced
Language:HTML11 3 016
shd101wyy/Edge-Detection
Canny edge detection. Demo can be found at
Language:JavaScript8 5 03
shd101wyy/ChemicalEquationInPython
ChemicalEquation
Language:Python5 3 0
shd101wyy/language-gfm-enhanced
GitHub Flavored Markdown in Atom
Language:CoffeeScript5 5 02
shd101wyy/Moni_Doc
Docs for Moni Project
2 7 0
shd101wyy/Ebook-Crawler
ebook crawler for study purpose
Language:JavaScript1 5 01
shd101wyy/hyper
A terminal built on web technologies
Language:JavaScript1
shd101wyy/language-k
Syntax highlighting for K Framework
1 3 01
shd101wyy/Moni_Sample_Scripts
Language:JavaScript1 4 0
shd101wyy/Simple
Simple is a very Simple front-end library
Language:JavaScript1 3 0
shd101wyy/go
Language:JavaScript0 6 00
shd101wyy/c-semantics
Semantics of C in K
Language:C3 0
shd101wyy/DIS-Source-Skeleton
Simple DIS (Dynamic Information Syndication) source skeleton
Language:JavaScript3 0
shd101wyy/Dynamic-Information-Syndication
Simple Information Syndication standard based on RSS.
shd101wyy/javamop
Runtime verification system for Java, using AspectJ for instrumentation.
Language:Java
shd101wyy/k-1
The K tools
Language:Java3 0
shd101wyy/k-backend-challenge
Language:Rust
shd101wyy/K-VSCode
K language support for Visual Studio Code
3 0
shd101wyy/knitr-examples
a collection of knitr examples
Language:TeX3 0
shd101wyy/kweb
Online extensible IDE for the K Framework and other formal verification projects. Example deployment at http://kframework.org/kweb/
Language:Python3 0
shd101wyy/orbit-db
Distributed peer-to-peer database for the decentralized web
Language:JavaScript3 0
shd101wyy/phaser_flappybird
Language:JavaScript3 0
shd101wyy/Rabbit
Language:JavaScript
shd101wyy/rv-install
Unified installer for all Runtime Verification Inc. products
Language:Java3 0
shd101wyy/rv-monitor
RV-Monitor core system code
Language:Java3 0
shd101wyy/rvmatch-eclipse-plugin
Language:Java3 0
shd101wyy/Scavenger
Language:C#3 0
shd101wyy/ss-fly
一键脚本搭建ss/ssr并开启bbr内核加速（Ubuntu/CentOS/Debian）
2 0