University documents that I have collected from HCM-IU VNU
☆53Jan 4, 2025Updated last year
Alternatives and similar repositories for university-documents
Users that are interested in university-documents are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Support to register for courses on the Edusoft website.☆11May 21, 2024Updated 2 years ago
- First Cloud Journey (Demo) - AI Powered Admission Assistant☆11Jul 21, 2025Updated last year
- Facebook AI Comment Bot☆14Dec 16, 2024Updated last year
- The Missing Semester of Your CS Education 📚 - Bản Tiếng Việt☆17Jan 21, 2026Updated 9 months ago
- Fast and clean schedule generator for IUers!☆12Jan 5, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆14Oct 15, 2024Updated 2 years ago
- Write-ups cho một số bài trên Reversing.kr☆15Mar 24, 2023Updated 3 years ago
- You know about Interview Coder invisible AI windows for technical interviews? I don't like the fact that he taking advantage of poor job …☆21Apr 29, 2025Updated last year
- Generate timetable for HCMIU students.☆10Updated this week
- Akinasan team（秋名山车队）'s code base for the 0th Taichi Hackathon.☆19Dec 4, 2022Updated 3 years ago
- Generate dynamic, futuristic SVG cards displaying GitHub user statistics for your README files!☆28Oct 23, 2026Updated last week
- ☆11Oct 28, 2023Updated 3 years ago
- ☆12Sep 17, 2026Updated last month
- Demo of deploy YOLOv6 model as API☆10Aug 6, 2022Updated 4 years 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.
- Formalizing origami geometry and numbers☆11Aug 31, 2026Updated 2 months ago
- Source code for all my competitive programming activities☆13Dec 28, 2024Updated last year
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- The third iteration of the Lavender programming language, implemented in Rust.☆12Apr 17, 2021Updated 5 years ago
- A longtime needed iterator for C++ STL std::bitset<N>☆11Feb 7, 2019Updated 7 years ago
- User VGG16 to classify money on camera☆11Jul 14, 2021Updated 5 years ago
- A Matrix chat client☆15Sep 24, 2026Updated last month
- Wasm examples, brought to you by humans!☆16Jan 7, 2021Updated 5 years ago
- Rust-based cloud storage backend using ScyllaDB with Discord OAuth authentication for Equicord settings sync☆16Jul 15, 2026Updated 3 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.
- A tool for building Lean4 .olean files from Lean3 export data☆11Jul 28, 2021Updated 5 years ago
- This project uses GitLab Actions to collect the weather then update to README.md☆23Updated this week
- ilo pali is a RISC V operating system featuring a microkernel.☆10Jul 4, 2024Updated 2 years ago
- Creates a list of possible write-outs by combining your theory and a list of words, and their pronunciation/morphology☆13Sep 2, 2026Updated 2 months ago
- An interactive guide to the game theory of cooperation☆12Aug 14, 2017Updated 9 years ago
- ☆18Oct 24, 2026Updated last week
- Catppuccinify images with LUTs using WebAssembly☆13Sep 12, 2024Updated 2 years ago
- osu!notsodirect is a hacky, but functional local replacement for osu!direct.☆10Apr 8, 2026Updated 6 months ago
- ☆15Updated this week
- 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.
- Experiments with some ways of automating reasoning in lean 4☆19Apr 20, 2024Updated 2 years ago
- My GitHub profile page☆14Dec 26, 2025Updated 10 months ago
- Muse - Music bot for Google Meet☆18Oct 10, 2021Updated 5 years ago
- Discover laws in your code like with QuickSpec☆17Jun 6, 2021Updated 5 years ago
- Use transfer learning on skin cancer dataset using pretrained VGG 16 model architecture. Video tutorial can be found on my Youtube channe…☆13Jan 17, 2021Updated 5 years ago
- Lean formalization of the optimality proof of the 11 square packing☆28Oct 6, 2026Updated 3 weeks ago
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated 8 months ago