niltok Goto Github PK
Name: 玩火
Type: User
Bio: ⊥-elim 🔥
Twitter: NiltokotliN
Blog: iota.huohuo.moe
Name: 玩火
Type: User
Bio: ⊥-elim 🔥
Twitter: NiltokotliN
Blog: iota.huohuo.moe
ACM-ICPC-resource chinese
A simple desktop application to scan and export Genshin Impact Artifacts.
wait free channel(just practice)
🤩 Rip-off of skyzh's CV
影院管理系统(C# 课设)
A desktop files repo
[WIP]
Haskell-style functional programming language running on Erlang VM.
Hamler syntax extension for VSCode
玩火记录
🚧施工中🚧 用 Arend 写证明的交互式教程
ikuyo!
弹幕游戏 (C++课设)
十分钟魔法练习
Mangrove is a database management server with some other facilities.
《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版
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.
CS:APP shlab
Self Modifiable Virtual Machine
An OnlineJudge System for OI
Vertical Tabs extension for Firefox
only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.