peng1999

Have jumped out of the hole of ACM.

IPADS @ SJTUShanghai, China

Pinned Repositories

blog
My blog
Language:TeX0 3 30
config
My dotfiles
Language:Emacs Lisp6 3 10
Mathematica.jl
Call Mathematica from Julia
Language:Julia2 1 00
nwpu-grade
大学期末成绩查询和Telegram Bot，支持多个学校
Language:Python8 2 10
PkgDependency.jl
Show dependency tree of Julia project
Language:Julia85 2 114
SafetreeWorker
安全教育平台做题机
Language:F#2 3 10
typst-pyrunner
Run python code in typst
Language:Rust32 2 60
tikv
Distributed transactional key-value database, originally created to complement TiDB
Language:Rust15.4k 305 5.3k2.2k
typst
A new markup-based typesetting system that is powerful and easy to learn.
Language:Rust36.7k 103 2.8k992

peng1999's Repositories

peng1999/SafetreeWorker
安全教育平台做题机
Language:F#2 3 10
peng1999/symrs
Symbolic computation in Rust
Language:Rust2 2 00
peng1999/Midi2Beep
Language:C#1 3 0
peng1999/AlgorithmSet
实现和测试各种算法
Language:F#
peng1999/bingdict-to-csv
Export wors of my Bing Dictionary vocbulary book
Language:F#2 0
peng1999/cfg-if
A if/elif-like macro for Rust #[cfg] statements
Language:Rust2 0
peng1999/group-theory
A group theory calculation library extending HaskellForMaths
peng1999/interaction-runner
A local runner for interaction problems.
Language:Rust
peng1999/OIProblems
算法竞赛题目
peng1999/ox3000crawl
获取www.oxfordlearnersdictionaries.com上的单词和释义
Language:Python3 01
peng1999/posts
My Posts
Language:Rust2 0
peng1999/ProgramBeater
OI程序对拍器
Language:F#2 0
peng1999/Random_Seats_Generator
Generate seats randomly.
Language:C++2 0
peng1999/trans-csv
Language:C2 0