Python tool for converting files and office documents to Markdown.

Universal markup converter

💩State-of-the-art shitcode principles your project should follow to call it a proper shitcode

A more maintainable, easier to share version of the infamous http://mindprod.com/jgloss/unmain.html

Python library for converting Python calculations into rendered latex.

clewd修改版 by tera

Robust Speech Recognition via Large-Scale Weak Supervision

The math library of Lean 4

分享 GitHub 上有趣、入门级的开源项目。Share interesting, entry-level open source projects on GitHub.

🎓 Path to a free self-taught education in Computer Science!

A curated list of awesome command-line frameworks, toolkits, guides and gizmos. Inspired by awesome-php.

《Hello 算法》：动画图解、一键运行的数据结构与算法教程。支持简中、繁中、English、日本語，提供 Python, Java, C++, C, C#, JS, Go, Swift, Rust, Ruby, Kotlin, TS, Dart 等代码实现

📚 免费的计算机编程类中文书籍，欢迎投稿

快速上手AI理论及应用实战：基础知识、Transformer、NLP、ML、DL、竞赛。含大量注释及数据集，力求每一位能看懂并复现。

《Pytorch模型训练实用教程》中配套代码

All Algorithms implemented in Python

Machine learning, in numpy

Curated list of project-based tutorials

Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)

AISystem 主要是指AI系统，包括AI芯片、AI编译器、AI推理和训练框架等AI全栈底层技术

Python - 100天从新手到大师

Use ChatGPT to summarize the arXiv papers. 全流程加速科研，利用chatgpt进行论文全文总结+专业翻译+润色+审稿+审稿回复

Unotes Visual Studio Code Extension. A markdown WYSIWYG notes editor.

[DEPRECATED] Stanford Javascript Crypto Library

Methods in Algebra (Volume 1): A Chinese textbook on Algebra

南瓜书：《机器学习》（西瓜书）公式详解

Development of homotopy type theory in Agda

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

An introduction to programming language theory in Agda

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…