前程似锦
☆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☆47Feb 16, 2025Updated last year
- Lean4 Code Editor☆18Updated this week
- ☆16May 28, 2026Updated 2 months ago
- [CAV 2025] PyEuclid: A Versatile Formal Plane Geometry System in Python☆15Jun 27, 2025Updated last year
- Data and code for ACL 2026 Paper "Rethinking Reasoning-Intensive Retrieval: Evaluating and Advancing Retrievers in Agentic Search Systems…☆19Apr 30, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Summary of course notes for the first semester of Information and Computing Science (ICS) Juniors at XJTLU in the 24-25 academic year.☆41Mar 31, 2026Updated 4 months ago
- Formalization of IMO shortlist problems in Lean 4☆26Updated this week
- Official repository for "TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving"☆23Sep 1, 2025Updated 11 months ago
- 5ZOU5ZOp5ZOU5ZOpIGJpbGliaWxpIOe9keermeWQjuWPsOW3peeoiyDmupDnoIE=☆11Apr 25, 2019Updated 7 years ago
- A Wiki for students who want to transfer to another university☆43Jan 13, 2025Updated last year
- Pug renderer for Hexo.☆11Oct 1, 2024Updated last year
- ☆33Oct 30, 2023Updated 2 years ago
- Lean4 benchmark on 1 category.☆28Jun 19, 2026Updated last month
- ☆11Dec 5, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 每一周练手的小程序☆11Oct 19, 2019Updated 6 years ago
- ☆31Jul 16, 2025Updated last year
- ☆14Dec 3, 2025Updated 8 months ago
- Hand-written verified Lean solutions for the HumanEval benchmark☆30Mar 27, 2026Updated 4 months ago
- ☆27Jul 5, 2026Updated last month
- Verified kernels, written in Dafny and compiled to JavaScript, for correct-by-construction state in interactive web applications☆39Mar 9, 2026Updated 5 months ago
- Simple Minecraft Launcher☆11Apr 7, 2016Updated 10 years ago
- 大连理工大学软国专业课程指南,请同学们踊跃发言和@dingsio☆34Nov 7, 2024Updated last year
- 🔌LiteCommands IntelliJ IDEA plugin - A plugin for IntelliJ IDEA that provides support for the LiteCommands framework.☆13Jun 3, 2026Updated 2 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.
- ☆33Dec 7, 2025Updated 8 months ago
- 🌐🗄️ A simple, performance-focused Web framework.☆16Dec 19, 2025Updated 7 months ago
- useOnline is a tiny, zero-dependency hook for responding to online/offline changes.☆18Apr 21, 2026Updated 3 months ago
- A simple tag plugin with RGB Support and without bloat.☆16Aug 3, 2026Updated last week
- Ghostty terminal view for Expo / React Native, powered by libghostty☆27Jul 31, 2026Updated last week
- SF Symbols for GPUI – Render Apple's 9000+ icons in Rust desktop apps with type-safe enums and native macOS rendering☆17Jan 21, 2026Updated 6 months ago
- For CS/DS/ECE students at XJTLU. Make XJTLU Great Again.☆72May 5, 2024Updated 2 years ago
- 全新WinUI3版本的DLUTToolBox 扁平化全新体验☆40Apr 2, 2025Updated last year
- 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
- 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.
- Spigot library for translating Minecraft objects like Materials☆12Apr 17, 2024Updated 2 years ago
- Solving Competition Geometry Problems in Lean☆43Aug 26, 2025Updated 11 months ago
- (WIP) A tool that check your latency to cloud provider every regions☆13Jan 3, 2023Updated 3 years ago
- Opinionated collection of common JavaScript / TypeScript utils☆24Updated this week
- Powerful plugin API including many features while supporting all versions from 1.7 to 1.19.☆11Jun 19, 2022Updated 4 years ago
- ☆16Jul 2, 2026Updated last month
- ☆17Updated this week