Hi there 👋
🎓 PhD student @UBC-SPL.
🔭 Interested in Formal Verification, (Dependent) Type Theory, Program Logics, and almost everything related to PL
📫 My website.
Name: Yanze Li
Type: User
Bio: Misunderstanding math and PL
Blog: https://liyz.pl
99 problems in ocaml
the homework code for coursera alg course
Scala Scripting
A collection of async rust toy programs
🍀 sweet looking lockscreen for linux system
a backup for binary analysis study
a web ring for friends
A version of CloverLeaf using OpenMP pragmas
nothing interesting here
some common html/css layout
exercises in conceptual mathematics
A collection of benchmark projects
academic CV of Yanze Li
cpsc539b
large benchmarks for ECHO
Java language server
random notes/thoughts/proofs
https://liyz.pl
Whole Program LLVM: wllvm ported to go
simple test case on GraphBLAS that has race condition
Hazel, a live functional programming environment with typed holes
A class for homework assignments written in LaTeX.
2017 OPLSS course of idris
memcached development tree
neither based nor cringe
A minimal zsh theme
Official MPICH Repository
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 is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
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.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.