Write any JavaScript with 6 Characters: []()!+

This package provides tools for editing configuration files in a user-friendly web interface.

A Rust/WASM implementation of homotopy.io

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

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

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

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

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

Development of homotopy type theory in Agda

A hyperparameter optimization framework

Rime 小鹤双拼音形输入方案

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

Numerical Black-Box Optimization Benchmarking Framework

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

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

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

Awesome Typst Links

An implementation of numbered theorem environments in typst

Conversion between Traditional and Simplified Chinese

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

Translate HTML elements to vertical writing.

React app of an unofficial enhancement of the University of Nottingham course catalogue.

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

Collection of publicly available IPTV channels from all over the world

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

A telegram bot designed for Beancount

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

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

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