Project Asteria: A Naïve Introductory to Advanced Mathematics and Theoretical Physics for Gaokao Students
☆44Mar 27, 2026Updated 3 months ago
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:
- Repositorio de ejemplos, macros, plantillas, clases, etc. relacionados con la producción de documentos con LaTeX.☆15Sep 2, 2023Updated 2 years ago
- Reviews to The Matrix series☆21Mar 27, 2026Updated 3 months ago
- YuzuTalk translation data.☆12Oct 1, 2022Updated 3 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 5 months ago
- User defined intrinsics, tailrec optimization☆12Nov 26, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Oct 10, 2020Updated 5 years ago
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated 2 years ago
- Digital some old math books and build as ebook☆24Dec 31, 2020Updated 5 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆19Mar 29, 2025Updated last year
- ☆11May 27, 2025Updated last year
- [SIGMOD’24] Source code for the paper: Making In-Memory Learned Indexes Efficient on Disk☆14Jun 28, 2024Updated 2 years ago
- A programmer who is not good at Chinese is not a advanced middle school student.☆17Oct 29, 2020Updated 5 years ago
- 一个LaTeX风格的Typora主题☆11Mar 16, 2019Updated 7 years ago
- Elaboration with inductive types☆16Jun 1, 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 模板☆28Dec 16, 2023Updated 2 years ago
- The 峨眉 (EMei) JIT/AOT backend framework.☆18Nov 19, 2024Updated last year
- ☆12Aug 26, 2022Updated 3 years ago
- Convolutional neural network for playing generals.io☆14Jun 1, 2019Updated 7 years ago
- ouuan's blog☆11Updated this week
- A utility to clone all files from learn.tsinghua.edu.cn☆30Updated this week
- 根据经典力学课件总结而成的经典力学讲义☆118Jul 9, 2019Updated 7 years ago
- Intel 185H Kubernetes with SR-IOV GPU Passthrough to cluster w/ various projects. Now with working Intel SR-IOV to KubeVirt!☆16Jul 17, 2026Updated last week
- 服务端-客户端架构的洛谷冬日绘板工具☆24Dec 31, 2021Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 一个用于 RIME 的郑码输入方案☆14Mar 6, 2023Updated 3 years ago
- Latex Beamer Template for Presentations (University of Basel, Department of Mathematics and Computer Science)☆32Feb 16, 2024Updated 2 years ago
- XenServer high availability daemon☆13Mar 6, 2026Updated 4 months ago
- Plugins and signatures☆13Jun 11, 2019Updated 7 years ago
- ☆11Sep 17, 2018Updated 7 years ago
- 统计指定账号通过的题目的难度。☆21Dec 1, 2018Updated 7 years ago
- Adaptive Message Quantization and Parallelization for Distributed Full-graph GNN Training☆24Mar 1, 2024Updated 2 years ago
- This repo won't be updated in a few months since I left MSRA.☆15Aug 3, 2017Updated 8 years ago
- Code for database and frontend of webpage for Neural Fields in Visual Computing and Beyond.☆31Aug 22, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 树洞的PC客户端☆20Jun 12, 2018Updated 8 years ago
- MCP server giving LLMs the ability to design, simulate, and analyze SPICE circuits via LTSpice and NGspice☆20Updated this week
- ☆13Oct 1, 2025Updated 9 months ago
- Implements a proof-of-concept of a multi-level clustering algorithm designed to enable extremely fast approximate match search in a large…☆12Feb 24, 2013Updated 13 years ago
- Tacotron2 with BERT examples☆10Jul 8, 2019Updated 7 years ago
- Capstone disassembly/disassembler framework: Core (Arm, Arm64, Mips, PPC, Sparc, SystemZ, X86, X86_64, XCore) + bindings (Python, Java, O…☆12Nov 11, 2015Updated 10 years ago
- HLS の m3u8 に記述されたファイルをダウンロードして1つのファイルにする☆16Sep 12, 2013Updated 12 years ago