Pinned Repositories
channel
wait free channel(just practice)
cinima-mgr
影院管理系统（C# 课设）
cparsec
DarkLuogu.css
GameCollection
[WIP]
iota
玩火记录
itp-ard
🚧施工中🚧 用 Arend 写证明的交互式教程
magic-in-ten-mins
十分钟魔法练习
tesseract
only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy
tesseract-lite
轻量级 Telegram QQ 转发机器人
niltok's Repositories
niltok/magic-in-ten-mins
十分钟魔法练习
niltok/tesseract
only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy
niltok/itp-ard
🚧施工中🚧 用 Arend 写证明的交互式教程
niltok/tesseract-lite
轻量级 Telegram QQ 转发机器人
niltok/iota
玩火记录
niltok/channel
wait free channel(just practice)
niltok/cinima-mgr
影院管理系统（C# 课设）
niltok/cparsec
niltok/DarkLuogu.css
niltok/GameCollection
[WIP]
niltok/kita
ikuyo!
niltok/kita2
niltok/shlab
CS:APP shlab
niltok/magi
弹幕游戏 (C++课设)
niltok/ACM-ICPC-resource
ACM-ICPC-resource chinese
niltok/Amenoma
A simple desktop application to scan and export Genshin Impact Artifacts.
niltok/chi-cv-template
🤩 Rip-off of skyzh's CV
niltok/CountryArea
niltok/dotfile
niltok/hamler
Haskell-style functional programming language running on Erlang VM.
niltok/hamler-vscode
Hamler syntax extension for VSCode
niltok/hstream-cli
niltok/mangrove
Mangrove is a database management server with some other facilities.
niltok/PLFA-zh
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
niltok/RWKV-LM
RWKV is an RNN with transformer-level LLM performance. It can be directly trained like a GPT (parallelizable). So it's combining the best of RNN and transformer - great performance, fast inference, saves VRAM, fast training, "infinite" ctx_len, and free sentence embedding.
niltok/scrolled-reader
niltok/SMVM
Self Modifiable Virtual Machine
niltok/syzoj
An OnlineJudge System for OI
niltok/tabcenter-redux
Vertical Tabs extension for Firefox
niltok/yiban_Automation_tool
python刷易班EGPA。含刷易班EGPA release版本。无需登陆！只需填写数据。