世间再无净土。
hoshinotented Goto Github PK
Name: Hoshino Tented
Type: User
Company: 肥宅行为模式科学研究院 | 清芷大学 (TsingChih University)
Bio: impl !Ord for Self {}
Location: 世界轴 / The Axis
Name: Hoshino Tented
Type: User
Company: 肥宅行为模式科学研究院 | 清芷大学 (TsingChih University)
Bio: impl !Ord for Self {}
Location: 世界轴 / The Axis
世间再无净土。
Anti-Indulged for IntelliJ Platform (AI4IJ)
~ Growing as cubes
The documentation site of the Aya prover.
辅助模组
简体中文版本的《完全自杀手册》,自己完成了一部分翻译和校对、注释工作,不久之后就要与这个世界告别,这一本书算是最后的礼物。
https://github.com/CyC2018/CS-Notes PDF版本离线阅读
编译原理(紫龙书)中文第2版习题答案。Compilers Principles, Techniques, & Toos (purple dragon book) second edition practice answer.
哇哦, 是表情包
Hoshi no Profile
Rust bindings for dear imgui
~ Intellij Platform plugin for Aya Prover
intellij插件开发的小笔记(主要内容还是语言支持
Kala inspections
Ktor 中文站:Ktor 框架网站与文档中文版
Practice of LaTeX and Abstract Algebra
My note for leaning Linear Algebra
Luogu plugin on IntelliJ Platform
API of LuoGu
Keeping Breaking Block or Using Item, FREE YOUR HANDS
全开源 QQ机器人/QQ协议支持库 Protocol library for Tencent QQ/TIM
mirai-rs is a mirai-api-http client implementation written in Rust
Martin-Löf Type Theory implementation, in order to experiment some language futures
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.