Name: Yiyi Wang
Type: User
Bio: Designing a programming language that supports linear types, mutable value semantics, and algebraic effects (one-shot), and implementing a compiler for it.
Location: Mars, Solar system, Universe
Yiyi Wang's Projects
simple game
An arbitrage bot between Uniswap AMMs
atom editor lisp2js preview package
Write avl tree in scheme
Babylon.js: a complete JavaScript framework for building 3D games with HTML 5 and WebGL
翻qiang python 脚本
Semantics of C in K
ChemicalEquation
Simple chess game written in Java
Powerful markdown tool
The honor project for cs241 fall 2014
CSAir
Simple DIS (Dynamic Information Syndication) source skeleton
Simple Information Syndication standard based on RSS.
ebook crawler for study purpose
ebook example for markdown preview enhanced
Canny edge detection. Demo can be found at
K Semantics of the Ethereum Virtual Machine (EVM)
Highlight the K language code block on GitHub
闲的无聊做了个算钱的软件
ece 001110010001 project
my first avg game
A terminal built on web technologies