明日方舟-孤星-Latex模板
☆30Nov 30, 2025Updated 11 months ago
Alternatives and similar repositories for ARKNIGHT-LONETRAIL-LATEX-TEMPLATE
Users that are interested in ARKNIGHT-LONETRAIL-LATEX-TEMPLATE are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Main control terminal of educational UAV (PID Version)☆10May 23, 2020Updated 6 years ago
- Curated roadmap & resource hub for Machine Learning Theory ― structured learning paths, course outlines, and distilled notes to help rese…☆46Mar 12, 2026Updated 7 months ago
- All lecture notes in public will be presented here.☆13Mar 28, 2025Updated last year
- 根据学校word模板设计的一个hustreport.cls类文件抽离出来的写的一个三模式的报告LaTeX模板☆22Jan 19, 2026Updated 9 months ago
- Monomial ordered polynomial implementation in Lean4☆11Oct 2, 2026Updated 3 weeks 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 VT-100 terminal emulator for the Android OS☆10Apr 8, 2018Updated 8 years ago
- A tool to add watermark on a picture.☆11Jan 2, 2024Updated 2 years ago
- SageMath integration for Lean4☆15Oct 9, 2026Updated 3 weeks ago
- 一键将视频转换为优质小红书笔记，自动优化内容和配图；追加了可以读取本地视频的功能☆12Dec 22, 2024Updated last year
- GRHayL: an infrastructure-agnostic library for GRMHD.☆11Updated this week
- Notes-Template☆13Feb 25, 2024Updated 2 years ago
- 本卡组是基于牌组 2024红宝书考研词汇（必考词+基础词+超纲词） 重构的 V2 版。 由于原作者已停止维护，且原卡组中存在大量发音音频损坏、缺失的问题，动画效果也略显冗余。为了获得更高效、更专注的体验，我经过数十天的实际使用和我个人的使用习惯，对全牌组的底层代码和内容进行…☆17Sep 1, 2026Updated last month
- 前端课程☆12Nov 7, 2024Updated last year
- A fancy book template full of ink perfume.☆16Jul 2, 2019Updated 7 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.
- latex线圈日记本模板☆14Mar 29, 2026Updated 7 months ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 5 years ago
- ☆18Oct 27, 2024Updated 2 years ago
- Proof assistant for single sorted predicate logic☆14Sep 16, 2026Updated last month
- auto scrawl for arrive data☆16Jan 24, 2022Updated 4 years ago
- A tool for generating transport maps☆11Dec 19, 2025Updated 10 months ago
- ☆27Mar 12, 2023Updated 3 years ago
- 毕业论文开题与答辩 Beamer 模板☆29Sep 30, 2024Updated 2 years ago
- 中国科学院大学2023Fall-图像处理课程作业与复习真题资料☆30Jan 7, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- AE批量导入字幕助手辅助脚本，支持常见的字幕格式如：SRT/ASS/SSA/LRC，以及脚本定制化TXT文本格式☆23Jul 13, 2024Updated 2 years ago
- 高数笔记（附带分享LaTeX源代码）☆15Mar 9, 2026Updated 7 months ago
- 行者(imxingzhe.com)运动数据导出☆17May 18, 2025Updated last year
- Export QQ Zone posts to offline HTML, JSON, and Excel backups☆24Apr 5, 2026Updated 6 months ago
- ☆15May 2, 2025Updated last year
- ☆12Jan 18, 2019Updated 7 years ago
- Type-preserving CPS translation for simply- and dependently-typed lambda calculi☆18Jun 3, 2017Updated 9 years ago
- MaxJ and C/C++ library and utilities for Maxeler Dataflow Engines☆14Jun 11, 2018Updated 8 years ago
- ☆40May 19, 2026Updated 5 months 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.
- 一份关于TikZ学习入门的笔记，已经有近半年我没有更新了，还是我太懒了，再此将其源码进行开源....☆22May 9, 2020Updated 6 years ago
- Guitar Pro MCP Server ( for AI ) This project integrates PyGuitarPro with a Model Context Protocol (MCP) server, allowing you to manipul…☆29May 25, 2025Updated last year
- A LaTeX template with customisable themes☆13Jul 18, 2025Updated last year
- A beamer theme inspired by the "Mirage" song poster☆20Aug 27, 2026Updated 2 months ago
- ☆12Jun 25, 2025Updated last year
- About the rocket-related projects we are developing☆41Sep 12, 2026Updated last month
- Formalization of Gröbner basis theory in Lean4 (WIP)☆36Oct 22, 2026Updated last week