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:
- X视频下载工具GUI☆13Dec 5, 2024Updated last year
- Digital some old math books and build as ebook☆24Dec 31, 2020Updated 5 years ago
- This is a cross platform C++ project to compute and maintain spectral sequences based on sqlite3 databases and the algorithms on Groebner…☆12Jan 30, 2026Updated 3 months ago
- User defined intrinsics, tailrec optimization☆12Nov 26, 2022Updated 3 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Oct 10, 2020Updated 5 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated 2 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆19Mar 29, 2025Updated last year
- 一个LaTeX风格的Typora主题☆11Mar 16, 2019Updated 7 years ago
- ☆14Updated this week
- Professor and Group List of CS☆10Mar 12, 2024Updated 2 years ago
- ☆10Feb 27, 2023Updated 3 years ago
- 中华人民共和国国家标准 LaTeX 模板☆27Dec 16, 2023Updated 2 years ago
- The 峨眉 (EMei) JIT/AOT backend framework.☆18Nov 19, 2024Updated last year
- 🚀 A fast 24 points game solver written in rust.☆11Apr 21, 2024Updated 2 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.
- Ever wondered how popular your GitHub repo is compared to others?☆16Feb 14, 2026Updated 3 months ago
- ☆12Aug 26, 2022Updated 3 years ago
- raytracer☆10Jul 18, 2022Updated 3 years ago
- Japanese dictionary Android app☆12Sep 20, 2024Updated last year
- A utility to clone all files from learn.tsinghua.edu.cn☆30Apr 10, 2026Updated last month
- 根据经典力学课件总结而成的经典力学讲义☆116Jul 9, 2019Updated 6 years ago
- Extending context length of visual language models☆12Dec 18, 2024Updated last year
- A terminal workspace with batteries included☆17Oct 6, 2024Updated last year
- ☆28Sep 8, 2025Updated 8 months 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.
- 服务端-客户端架构的洛谷冬日绘板工具☆24Dec 31, 2021Updated 4 years ago
- XSKIN 是基于 c++ 和GDI做的 一个UI库. Direct UI库，部分参考Duilib,有些作者自己的想法实现，模仿java事件监听器机制和android布局文件. 内部使用其它该源的jpg, png图片解码库☆12Sep 6, 2017Updated 8 years ago
- All data publicated in THU tree hole during 2020 Spring to 2021 Winter.☆27Jul 13, 2022Updated 3 years ago
- A math resource for CS student (I have decided to refactor the contents to my personal blog and continue working on this, so the project …☆21Nov 27, 2024Updated last year
- XenServer high availability daemon☆13Mar 6, 2026Updated 2 months ago
- ☆44Mar 24, 2026Updated last month
- 原稿用紙；原稿紙；稿紙；日式便箋；UPTEX/UPLATEX 縱書☆10Nov 27, 2019Updated 6 years ago
- Plugins and signatures☆13Jun 11, 2019Updated 6 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
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A proof of concept for a tool to generate hover-seek previews of media files as well as extracting metadata, written in Rust☆17Jun 22, 2025Updated 10 months ago
- Code for paper ”Language Versatilists vs. Specialists: An Empirical Revisiting on Multilingual Transfer Ability“☆15Jun 13, 2023Updated 2 years ago
- A tool to convert Windows cursor packs to Mousecape capes☆24Apr 16, 2026Updated last month
- Coverity Security Library (CSL) is a lightweight set of escaping routines for fixing cross-site scripting (XSS), SQL injection, and other…☆12Mar 8, 2020Updated 6 years ago
- A technical guide for pairing CJK and Latin fonts☆12Oct 5, 2021Updated 4 years ago
- 2023 WSA feat. $_purefunc Cafe ☕️☆18Aug 30, 2025Updated 8 months ago
- Blue theme for arXiv website☆38Nov 30, 2023Updated 2 years ago