前程似锦
☆19Nov 8, 2022Updated 3 years ago
Alternatives and similar repositories for XJTLU-manual
Users that are interested in XJTLU-manual are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 前程似锦 Bright future ahead!☆16Dec 23, 2021Updated 4 years ago
- Contents of Weiyi's GH Blog☆47Feb 16, 2025Updated last year
- Summary of course notes for the second semester of Information and Computing Science (ICS) Sophomores at XJTLU in the 23-24 academic year…☆87Jul 20, 2026Updated 2 months ago
- Summary of course notes for the second semester of Information and Computing Science (ICS) Sophomores at XJTLU in the year 3.☆27Mar 3, 2026Updated 6 months ago
- ☆10Feb 17, 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.
- Lean4 Code Editor☆19Aug 18, 2026Updated last month
- Data and code for ACL 2026 Paper "Rethinking Reasoning-Intensive Retrieval: Evaluating and Advancing Retrievers in Agentic Search Systems…☆20Apr 30, 2026Updated 4 months ago
- Official GitHub repo for Scaling Physical Reasoning with the PHYSICS Dataset (NeurIPS25).☆16Sep 20, 2025Updated last year
- Code for paper *AutoGPS: Automated Geometry Problem Solving via Multimodal Formalization and Deductive Reasoning*☆17Jul 19, 2025Updated last year
- Summary of course notes for the first semester of Information and Computing Science (ICS) Juniors at XJTLU in the 24-25 academic year.☆50Mar 31, 2026Updated 5 months ago
- Formalization of IMO shortlist problems in Lean 4☆27Updated this week
- Official repository for "TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving"☆23Sep 1, 2025Updated last year
- COGNESTIC-2026 hands-on materials☆31Updated this week
- A Wiki for students who want to transfer to another university☆43Jan 13, 2025Updated last year
- 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.
- Conic10K: A large-scale dataset for closed-vocabulary math problem understanding. Accepted to EMNLP2023 Findings.☆33Dec 6, 2023Updated 2 years ago
- ☆33Oct 30, 2023Updated 2 years ago
- ☆36May 7, 2024Updated 2 years ago
- Lean4 benchmark on 1 category.☆27Jun 19, 2026Updated 3 months ago
- ☆31Jul 16, 2025Updated last year
- ☆14Aug 20, 2026Updated last month
- Self Reproduction Code of Paper "Reducing Transformer Key-Value Cache Size with Cross-Layer Attention (MIT CSAIL)☆17May 24, 2024Updated 2 years ago
- Simple Minecraft Launcher☆11Apr 7, 2016Updated 10 years ago
- The Lean Machine Learning Library☆41Updated this week
- 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.
- ☆35Dec 7, 2025Updated 9 months ago
- useOnline is a tiny, zero-dependency hook for responding to online/offline changes.☆18Apr 21, 2026Updated 4 months ago
- Ghostty terminal view for Expo / React Native, powered by libghostty☆32Aug 28, 2026Updated 3 weeks ago
- SF Symbols for GPUI – Render Apple's 9000+ icons in Rust desktop apps with type-safe enums and native macOS rendering☆18Jan 21, 2026Updated 7 months ago
- For CS/DS/ECE students at XJTLU. Make XJTLU Great Again.☆75May 5, 2024Updated 2 years ago
- An implementation of OATH algorithms in Rust. Includes TOTP, HOTP, and OCRA.☆18Jun 19, 2022Updated 4 years ago
- ☆16Nov 22, 2025Updated 9 months ago
- 全新WinUI3版本的DLUTToolBox 扁平化全新体验☆41Apr 2, 2025Updated last year
- Spigot library for translating Minecraft objects like Materials☆12Apr 17, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A lightweight JavaScript library for creating toast, snackbars, and notifications.☆12Mar 15, 2025Updated last year
- Opinionated collection of common JavaScript / TypeScript utils☆24Sep 2, 2026Updated 2 weeks ago
- (WIP) A tool that check your latency to cloud provider every regions☆13Jan 3, 2023Updated 3 years ago
- Powerful plugin API including many features while supporting all versions from 1.7 to 1.19.☆11Jun 19, 2022Updated 4 years ago
- 日本购岛时间中的中日“网络民族主义”分析☆25May 23, 2023Updated 3 years ago
- 📅 Flutter 阳历+农历 日期选择器☆22Nov 18, 2024Updated last year
- ☆17Updated this week