Beast code in Giters

Yanjun Chen's repositories

juan

A toy time management tool for juaning.

Language:RustGPL-3.06 20

step-evaluator

Language:TeX200

binaryen.ml

OCaml bindings for Binaryen.

Language:OCamlApache-2.0100

football_analysis

Language:Jupyter Notebook100

VP260_RC

Language:TeXMIT1 20

acgsh

Language:GoMIT020

air

A markdown CSS module that is light and airy.

Language:HTMLMIT000

aoapc-bac2nd

Source codes for book <<<BeginningAlgorithmContests>> Second edition

Language:C++000

bangumi-data

Raw data for Japanese Anime

Language:JavaScript000

binomial_heap_proof

Language:Coq010

coned.github.io

020

go-common

哔哩哔哩 bilibili 网站后台工程源码

Language:Go000

Hack

Language:HTML010

lossless_compress

Language:C++000

noto-cjk

Noto CJK fonts

OFL-1.1000

PersonalShare

Personal Stuff Share With Others

000

shadowsocks

Language:PythonApache-2.0000

sudoku

sudoku puzzle solver in prolog

Language:Prolog000

tapl-haskell

Types and Programming Languages

000

ve280-discussions

Discussion notes of VE280

000