XYUnknown

Xueying Qin's repositories

ed-restaurants

A list of nice restaurants in Edinburgh

6 20

ASinE

A study in equalities

Language:Agda2 10

Necronomicon

my thesis

Language:TeX2 10

container-project

Language:Jupyter Notebook1 20

individual-project

University of Glasgow level 4 individual project

Language:TeX1 4 5

iphonex-wallpaper-generator

A programme that can add "ears" to wallpaper for iPhone X

Language:Python1 10

experiment

Language:Rust010

experiment-callback

Language:Rust010

experiment-callback-umi

Language:Rust000

PrimroseAE

Language:Rust010

Shoggoth

The Artifact for Shoggoth: A Formal Foundation for Strategic Rewriting

Language:Isabelle020

experiment-results

This repository contains experiment results

010

experiment-umi

Language:Rust010

food-picker

A simple program to help this cat solve the daily-what-to-eat decision problem

Language:Python000

forty-jekyll-theme

A Jekyll version of the "Forty" theme by HTML5 UP.

Language:SCSSNOASSERTION000

image_editor

An image editor using minimagick

Language:Ruby000

javatypestate

Language:TeX010

mungo

Type checking tool for Java

Language:JavaBSD-3-Clause010

obscurity

000

rpsls

An implementation of Rock, Paper, Scissors, Lizard, Spock game

Language:Ruby010

sorting

Language:Java010

synquid

Language:HaskellMIT010

tango_with_django_project

Language:Python010

Wechat_AutoJump

自动玩微信小游戏跳一跳

Language:PythonMIT000

xyunknown.github.io

My personal page.

Language:HTML000