Type: User
Company: University of Michigan
Bio: Looking into PL, System, and Arch
Location: Ann Arbor
Life is like a box of continuations. All we need is the next 700 do be do be do.
Investigating PL, System, Arch, and (the) ML stuff, for the sake of the welfare of all creatures, carbon-based or silicon-based alike.
Enjoy row polymorphism a lot. Like Rust and Ocaml. But above all, two hobbies of mine would conclude all the rest:
lamb
utlc / stlc / system-t / system-f / system-pfc / system-fpc
lambda_calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
learn-rs
lighghteeloo
.
lighghteeloo.github.io
magic-in-ten-mins-ml
十分钟魔法练习 in OCaml
magic-in-ten-mins-rs
十分钟魔法练习 in Rust
meme-lang
A joke-based language.
mio-ring
mtask
netease-cloud-music-gtk
Linux 平台下基于 Rust + GTK 开发的网易云音乐播放器
noscript
Script Extraction Tool for VG100
nvimdots
A well configured and structured Neovim.
openweather.rs
org-parser
org-parser is a parser for the Org mode markup language for Emacs.
pac194x
Platform-agnostic Rust driver for the PAC194x 9V, 16-bit power monitor with alerts
paradisarelease
A release version of VG100 final project, 2020SU.
pid-rs
A PID controller for Rust projects.
plct-open-reports
PLCT实验室的公开演讲，或者决定公开的组内报告
rp-pico-blind
rust-async-downloader
Asynchronously download multiple files with Rust
rust-threadpool
A very simple thread pool for parallel task execution
session-types
session_note_generator
A tool for generating simple but natural session notes. Intend to be used by writing consultants.
spring-game
A minor chess game.
springs
The second version of Spring Game
stackedit
In-browser Markdown editor
sxd-xpath
An XPath library in Rust
todomvc
Helping you select an MV* framework - Todo apps for React.js, Ember.js, Angular, and many more
triplet-network
Replication of 'Deep metric Learning Using Triplet Network'
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
