KarlBohm

modern-nju-thesis

南京大学学位论文 Typst 模板 modern-nju-thesis

LxgwWenKai

An open-source Chinese font derived from Fontworks' Klee One. 一款开源中文字体，基于 FONTWORKS 出品字体 Klee One 衍生。

I.Ming

I.Ming ( I.明體 / 一点明朝体 / 一點明體 )

zhuque

朱雀仿宋/朱雀宋朝/Zhuque Fangsong: An open-source Fangsong typeface project

midas

Midas is a memory management system that efficiently and safely harvests idle memory for applications' soft state.

OpenGFW

OpenGFW is a flexible, easy-to-use, open source implementation of GFW (Great Firewall of China) on Linux

emacs-book

An Emacs tutorial with extensions walkthrough

history

History of type theory (Chinese).

OSFCC

一个收集可用于中文字体排印的开源字体集合。

magit

It's Magit! A Git Porcelain inside Emacs.

weloveinterns

PLCT Lab ❤️ Interns!

haskell-mode

Emacs mode for Haskell

all-the-icons-nerd-fonts

Nerd font integration for all-the-icons

Applewonder.github.io

vscoq-language-server

Language server for Coq

ssabook

Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was still online as of 2021-03, but then gone by 2021-09).

ics-wiki

ics-wiki

MahoShojo

2021年华为毕昇杯**科学技术大学Maho_Shojo队二等奖作品

Cider

A new cross-platform Apple Music experience based on Electron and Vue.js written from scratch with performance in mind. 🚀

Tai-e-assignments

Tai-e assignments for static program analysis

Iosevka

Versatile typeface for code, from code.

Icalingua-plus-plus

A client for QQ and more. :electron:

nvim-config

My neovim config

fish-shell

The user-friendly command line shell.

lightline.vim

A light and configurable statusline/tabline plugin for Vim