前程似锦
☆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:
- Contents of Weiyi's GH Blog☆46Feb 16, 2025Updated last year
- InstAttention: In-Storage Attention Offloading for Cost-Effective Long-Context LLM Inference☆17Mar 30, 2025Updated last year
- Lean4 benchmark on 1 category.☆25May 4, 2026Updated 3 weeks ago
- Formalization of IMO shortlist problems in Lean 4☆25May 2, 2026Updated 3 weeks ago
- Deploy Detectron2 with Triton inference server☆10Aug 15, 2022Updated 3 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.
- Conic10K: A large-scale dataset for closed-vocabulary math problem understanding. Accepted to EMNLP2023 Findings.☆33Dec 6, 2023Updated 2 years ago
- A formalization of ML kernel languages☆51Mar 26, 2026Updated 2 months ago
- ☆33Oct 30, 2023Updated 2 years ago
- Minimal open-source implementation of AlphaProof and HyperTree Proof Search.☆87May 13, 2026Updated 2 weeks ago
- A search engine for Lean 4 declarations☆67May 7, 2026Updated 3 weeks ago
- 5ZOU5ZOp5ZOU5ZOpIGJpbGliaWxpIOe9keermeWQjuWPsOW3peeoiyDmupDnoIE=☆11Apr 25, 2019Updated 7 years ago
- A Wiki for students who want to transfer to another university☆42Jan 13, 2025Updated last year
- Tool to create Tock Application Bundles from ELF files.☆18Aug 12, 2025Updated 9 months ago
- Pug renderer for Hexo.☆11Oct 1, 2024Updated 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.
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.☆92May 21, 2026Updated last week
- CS149 xmake version☆46Nov 30, 2023Updated 2 years ago
- 每一周练手的小程序☆11Oct 19, 2019Updated 6 years ago
- Dart library to parse FIDO2 request / response and interactive with FIDO2 (CTAP) authenticators.☆14Sep 9, 2025Updated 8 months ago
- 适合中国大陆用户使用的 Homebrew 应用代理镜像库☆24May 22, 2026Updated last week
- ☆21May 18, 2018Updated 8 years ago
- ☆14Dec 3, 2025Updated 5 months ago
- Latex template for presentations☆46Nov 24, 2024Updated last year
- 借助计算机的强大算力，使用解析几何暴力计算几何问题！☆79Aug 18, 2025Updated 9 months 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.
- useOnline is a tiny, zero-dependency hook for responding to online/offline changes.☆18Apr 21, 2026Updated last month
- For CS/DS/ECE students at XJTLU. Make XJTLU Great Again.☆70May 5, 2024Updated 2 years ago
- 与大连理工大学相关的工具软件收集☆55Apr 10, 2026Updated last month
- 日本购岛时间中的中日“网络民族主义”分析☆27May 23, 2023Updated 3 years ago
- Spigot library for translating Minecraft objects like Materials☆12Apr 17, 2024Updated 2 years ago
- ☆16Nov 22, 2025Updated 6 months ago
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆93Updated this week
- (WIP) A tool that check your latency to cloud provider every regions☆13Jan 3, 2023Updated 3 years ago
- 全新WinUI3版本的DLUTToolBox 扁平化全新体验☆38Apr 2, 2025Updated last year
- 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.
- This telegram bot written in Python will help you access the 2FA codes. All your keys for generating 2FA are stored in an encrypted file.…☆14Aug 18, 2020Updated 5 years ago
- Automatic solver for plane geometry problems.☆91Feb 24, 2026Updated 3 months ago
- OpenFrp 官方启动器 - 源代码☆15Dec 23, 2023Updated 2 years ago
- ☆15Updated this week
- 🔖 Surge config☆10May 4, 2026Updated 3 weeks ago
- 📅 Flutter 阳历+农历 日期选择器☆22Nov 18, 2024Updated last year
- The another Webpack Plugin for Atomic CSS-in-JS implementation style9☆21Apr 28, 2024Updated 2 years ago