Lists (3)
Sort Name ascending (A-Z)
Starred repositories
This is improved on mathematica keygen(this code can also use on system modeler).It has full tutorials and you can input your own actkey.
Official code implementation of General OCR Theory: Towards OCR-2.0 via a Unified End-to-end Model
Resources for my mathematical analysis blog
Lean 4 programming language and theorem prover
Visualizing the network of math theories.
Lean 3's obsolete mathematical components library: please use mathlib4
🌏一个解决SNI RST导致维基百科、Pixiv等站点无法访问的工具 | A tool for solving SNI RST
The C programming language exercise answers. C 程序设计语言(第2版)习题答案.
这是作者的系列网络安全自学教程,主要是关于网安工具和实践操作的在线笔记,希望对大家有所帮助,学无止境,加油。
一个网络安全相关法律法规、安全政策、国家标准、行业标准知识库。A knowledge base of cybersecurity policies, laws, guidelines, and technical standards.
AutoAudit—— the LLM for Cyber Security 网络安全大语言模型
收集的一些国外能提供提供威胁情报的公司,涵盖网络安全、工控安全、终端安全、移动安全等领域
鱼皮免费的网络安全自学网,通过游戏的方式学习Web安全知识。包含30+实战漏洞关卡,涵盖逻辑漏洞、XSS、SQL注入等常见安全问题。基于 React + Ant Design Pro 纯前端实现,无需后端即可本地运行。适合网络安全初学者、前端开发者、后端程序员、编程爱好者等
All Algorithms implemented in Python
😎 Awesome lists about all kinds of interesting topics
Hackable and optimized Transformers building blocks, supporting a composable construction.