Project Asteria: A Naïve Introductory to Advanced Mathematics and Theoretical Physics for Gaokao Students
☆44Mar 27, 2026Updated last month
Alternatives and similar repositories for project-asteria
Users that are interested in project-asteria are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Reviews to The Matrix series☆21Mar 27, 2026Updated last month
- Digital some old math books and build as ebook☆24Dec 31, 2020Updated 5 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Oct 10, 2020Updated 5 years ago
- A pauseless garbage collector in C.☆12Jan 5, 2023Updated 3 years ago
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- [NeurIPS 2023] MoVie: Visual Model-Based Policy Adaptation for View Generalization☆11Sep 22, 2023Updated 2 years ago
- 👏得到听书markdown文档☆20Jan 30, 2026Updated 3 months ago
- ☆10May 27, 2025Updated 11 months ago
- 一个LaTeX风格的Typora主题☆11Mar 16, 2019Updated 7 years ago
- ☆14Updated this week
- A programmer who is not good at Chinese is not a advanced middle school student.☆17Oct 29, 2020Updated 5 years ago
- Professor and Group List of CS☆10Mar 12, 2024Updated 2 years ago
- Elaboration with inductive types☆16Jun 1, 2023Updated 2 years ago
- ☆10Feb 27, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 中华人民共和国国家标准 LaTeX 模板☆27Dec 16, 2023Updated 2 years ago
- The 峨眉 (EMei) JIT/AOT backend framework.☆18Nov 19, 2024Updated last year
- Ever wondered how popular your GitHub repo is compared to others?☆17Feb 14, 2026Updated 2 months ago
- Convolutional neural network for playing generals.io☆14Jun 1, 2019Updated 6 years ago
- ouuan's blog☆11Updated this week
- Open source RAG with Llama Index for Japanese LLM in low resource settting☆10May 12, 2025Updated 11 months ago
- A program to visualize Anki review progress overtime☆11May 31, 2024Updated last year
- A utility to clone all files from learn.tsinghua.edu.cn☆30Apr 10, 2026Updated 3 weeks ago
- 根据经典力学课件总结而成的经典力学讲义☆116Jul 9, 2019Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Extending context length of visual language models☆12Dec 18, 2024Updated last year
- Official Project Webpage for paper "DiffSRL: Learning Dynamic-aware State Representation for Control via Differentiable Simulation"☆12Apr 4, 2022Updated 4 years ago
- ☆28Sep 8, 2025Updated 7 months ago
- 一个用于 RIME 的郑码输入方案☆13Mar 6, 2023Updated 3 years ago
- 服务端-客户端架构的洛谷冬日绘板工具☆24Dec 31, 2021Updated 4 years ago
- My bridge.☆19Mar 4, 2026Updated last month
- 明日方舟斗蛐蛐错题册-让你更会斗蛐蛐☆19May 8, 2025Updated 11 months ago
- XSKIN 是基于 c++ 和GDI做的 一个UI库. Direct UI库，部分参考Duilib,有些作者自己的想法实现，模仿java事件监听器机制和android布局文件. 内部使用其它该源的jpg, png图片解码库☆12Sep 6, 2017Updated 8 years ago
- Paldex, A fully Translated Palworld Companion. Including data generation, an api, and more!☆14Jan 31, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- TTS(Text To Speech)ソフトウェアのファイルから字幕(srt, xml)を生成するCLIツール☆14Dec 13, 2024Updated last year
- Support repo for the pack☆20Jan 20, 2020Updated 6 years ago
- Pattern of early human-to-human transmission of Wuhan 2019-nCoV☆31Feb 13, 2020Updated 6 years ago
- ☆17Nov 27, 2025Updated 5 months ago
- A simple Trie implementation in Rust.☆13Mar 4, 2026Updated last month
- ☆14Feb 21, 2022Updated 4 years ago
- Class notes, quizzes, and exams from a one-semester Introduction to Programming in C class I taught at U Penn☆16Mar 20, 2016Updated 10 years ago