namasikanam Goto Github PK
Name: Xingyu Xie
Type: User
Company: Tsinghua University
Bio: Dream to find rigorousness and meaning in the messy world. Interested in applied formal methods.
Location: Beijing, China
Name: Xingyu Xie
Type: User
Company: Tsinghua University
Bio: Dream to find rigorousness and meaning in the messy world. Interested in applied formal methods.
Location: Beijing, China
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
A knowledge search engine, as course project of Fundamentals of Search Engine Technology, 2020 Spring, Tsinghua University
Low-latency machine code generation
Course Project for Object Oriented Programming, Tsinghua University
Course Project (Software Part) for the united experiment of Computer Organization & Theory of Computer Network, 2019 Autumn, Tsinghua University
Course Project #1 for Computer Architecture, 2020 Spring, Tsinghua University
Analyzes resource usage and performance characteristics of running containers.
An automatically formally verified page allocator, as a course project of Operating Systems, 2020 Spring, Tsinghua University
A ported version of ChangeDistiller from SEAL, so that it can be used in a standalone program
Course project for Computational Graphics, in Tsinghua University
Assignment #2 for Introduction to Artificial Intelligence, Tsinghua University
Test cases of the Decaf compiler PAs, for 2019 Fall.
A compiler of a toy language Decaf, for course Principles and Practice of Compiler Construction, in Tsinghua University
The Decaf compiler, written in Scala
Mastodon documentation
A neat code differencing tool
Instruction THroughput Estimator using MAchine Learning (ITHEMAL)
syntactic merge tool for java
My personal blog
Course Project for Qt, in Tsinghua University
Practical Multi-party Private Set Intersection from Symmetric-Key Techniques[ACM CCS 2017]
My personal academic homepage and blog
Course project for Python, in Tsinghua University
Course Experiments for Numerical Analysis, in Tsinghua University
Madoko slides for OI
:star2: Wiki for OI / ICPC. (某大型游戏线上攻略,内含炫酷算术魔法)
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.