EricWay1024

typst-wordometer

A small Typst package for quick and easy in-document word counts.

cetz

CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.

typst-fletcher

Typst package for drawing diagrams with arrows, built on top of CeTZ.

multi-subs-yt

📺 Browser addon. Display as many subtitles as you like on Youtube simultaneously. Different languages, translated, auto-generated ... NO dependence on third-party server. 🔤🎞️

ctlc

(λ) Category theory and lambda calculus, Bachelor's thesis

HoTT-Agda

Development of homotopy type theory in Agda

optuna

A hyperparameter optimization framework

rime-xhup

Rime 小鹤双拼音形输入方案

neodb

🧩 NeoDB is a self-hosted server tracking what you read/watch/listen/play, powering a global distributed community federating via ActivityPub.

coco

Numerical Black-Box Optimization Benchmarking Framework

Chaste

Chaste - Cancer Heart And Soft Tissue Environment - main public repository.

QzoneExporter

QQ空间爬虫，可导出并显示日志、相册、留言板、说说、照片、视频等数据。

qq-zone

QQ空间（Qzone）爬虫，手机扫描登陆后即可并发下载相册原图/视频，嗯~就是这么简单

typst-algorithms

awesome-typst

Awesome Typst Links

typst-theorems

An implementation of numbered theorem environments in typst

OpenCC

Conversion between Traditional and Simplified Chinese

-

简繁汉字并非一一对应，在转换中往往要根据上下文判断具体如何转换，本js文件在网络上流传的简繁转换程序基础上加入许多判断条件让简繁转换更为完善。

Tategaki

Translate HTML elements to vertical writing.

nott-course

React app of an unofficial enhanced version of University of Nottingham's course catalogue.

typst

A new markup-based typesetting system that is powerful and easy to learn.

iptv

Collection of publicly available IPTV channels from all over the world

awesome-diagramming

A curated collection of diagramming tools used by leading software engineering teams

beancount_bot

A telegram bot designed for Beancount

BenNevis

"Where is Ben Nevis" presents the landscape of Great Britain as a testbed for optimisation and sampling methods.

uCourse-crawler

🎒 Scrape the courses info from the University of Nottingham's website.

cf-tool

:bar_chart: Codeforces CLI (Submit, Parse, Test, etc.). Support Contests, Gym, Groups, acmsguru, Windows, macOS, Linux, 7 MB

tedukuri

《算法竞赛进阶指南》资源社区

nixos-personal

The nixos configuration for my personal computer, consisting of zsh, kde, conda, julia, vscode, tiddlywiki and others

edgedb

A graph-relational database with declarative schema, built-in migration system, and a next-generation query language