玩火's repositories

magic-in-ten-mins

十分钟魔法练习

Language:HTMLLicense:CC-BY-4.0Stargazers:724Issues:8Issues:3

tesseract

only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy

itp-ard

🚧施工中🚧 用 Arend 写证明的交互式教程

tesseract-lite

轻量级 Telegram QQ 转发机器人

Language:KotlinStargazers:14Issues:2Issues:0

iota

玩火记录

Language:JavaScriptStargazers:2Issues:1Issues:0

channel

wait free channel(just practice)

Language:C++Stargazers:1Issues:1Issues:0
Language:C++Stargazers:1Issues:1Issues:0
Language:CSSStargazers:1Issues:0Issues:0

kita

ikuyo!

Language:JavaStargazers:1Issues:1Issues:0
Language:C#Stargazers:1Issues:1Issues:0

shlab

CS:APP shlab

Language:CStargazers:1Issues:1Issues:0

ACM-ICPC-resource

ACM-ICPC-resource chinese

Stargazers:0Issues:0Issues:0

Amenoma

A simple desktop application to scan and export Genshin Impact Artifacts.

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

chi-cv-template

🤩 Rip-off of skyzh's CV

Language:TeXLicense:MITStargazers:0Issues:0Issues:0

cinima-mgr

影院管理系统(C# 课设)

Language:HTMLStargazers:0Issues:1Issues:0
Language:JavaStargazers:0Issues:1Issues:0
Language:Vim scriptStargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:1Issues:0

hamler

Haskell-style functional programming language running on Erlang VM.

Language:ErlangLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

hamler-vscode

Hamler syntax extension for VSCode

License:Apache-2.0Stargazers:0Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

magi

弹幕游戏 (C++课设)

Language:C++Stargazers:0Issues:1Issues:0

mangrove

Mangrove is a database management server with some other facilities.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

PLFA-zh

《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版

Language:AgdaLicense:CC-BY-4.0Stargazers:0Issues:0Issues:0

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.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:TypeScriptLicense:MITStargazers:0Issues:1Issues:0

SMVM

Self Modifiable Virtual Machine

Language:CLicense:MITStargazers:0Issues:0Issues:0

syzoj

An OnlineJudge System for OI

Language:JavaScriptLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

tabcenter-redux

Vertical Tabs extension for Firefox

Language:JavaScriptLicense:MPL-2.0Stargazers:0Issues:0Issues:0

yiban_Automation_tool

python刷易班EGPA。含刷易班EGPA release版本。无需登陆!只需填写数据。

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0