University documents that I have collected from HCM-IU VNU
β42Jan 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
- The Missing Semester of Your CS Education π - BαΊ£n TiαΊΏng Viα»tβ17Jan 21, 2026Updated 4 months ago
- Fast and clean schedule generator for IUers!β12Jan 5, 2023Updated 3 years ago
- Read custom datasetβ12Mar 31, 2023Updated 3 years ago
- Simple lock-screen for idle React applicationsβ11Nov 9, 2019Updated 6 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.
- reveal.js PubNub Remote Control Pluginβ10Oct 27, 2017Updated 8 years ago
- Support for training SSD on TF2β12Mar 29, 2023Updated 3 years ago
- β24Sep 22, 2021Updated 4 years ago
- Extra and extended datatypes for Lean 4β12Nov 12, 2022Updated 3 years ago
- Portfolio website built with TypeScript, Next.js and Tailwind.β15May 21, 2024Updated 2 years ago
- β11Oct 28, 2023Updated 2 years ago
- β12Apr 2, 2026Updated 2 months ago
- Demo of deploy YOLOv6 model as APIβ10Aug 6, 2022Updated 3 years ago
- A formatter/linter for Coq sourceβ14Jan 15, 2022Updated 4 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.
- User VGG16 to classify money on cameraβ11Jul 14, 2021Updated 4 years ago
- Experiments with some ways of automating reasoning in lean 4β18Apr 20, 2024Updated 2 years ago
- Tutorial on pythonically generating Object Detection data in blenderβ13Nov 29, 2020Updated 5 years ago
- β15Apr 1, 2026Updated 2 months ago
- A tool for building Lean4 .olean files from Lean3 export dataβ10Jul 28, 2021Updated 4 years ago
- Wasm examples, brought to you by humans!β16Jan 7, 2021Updated 5 years ago
- The third iteration of the Lavender programming language, implemented in Rust.β12Apr 17, 2021Updated 5 years ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!β11Aug 27, 2022Updated 3 years ago
- Course project focusing on implementation of algorithms for autonomous driving.β17Aug 2, 2018Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI β’ AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Lean 4 Metamath verifierβ23Dec 12, 2025Updated 5 months ago
- call gates as stable comunication channel for NT x86 and Linux x86_64β32Aug 11, 2023Updated 2 years ago
- Source of http://shouldiblamecaching.com/β15Jan 27, 2026Updated 4 months ago
- The Boole Interactive Reasoning Assistantβ31May 9, 2014Updated 12 years ago
- Fork of Python with some terrible custom features hacked inβ14Oct 7, 2022Updated 3 years ago
- HTTP specification in Coq, testable and verifiableβ18Feb 22, 2026Updated 3 months ago
- A free browser extension for Chrome, Edge and Firefox that fills dummy text in all input fields in a page.β14Mar 25, 2024Updated 2 years ago
- A backup suite. Supports FLZMA2, bzip3, LZ4, Zstandard, LSH i-node ordering deduplicating archiver, long range deduplication, encryption β¦β19Aug 5, 2025Updated 10 months ago
- β21Oct 26, 2024Updated last year
- 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.
- Object counting with Yolov7.β18Apr 24, 2023Updated 3 years ago
- Ready-made Windows Sandbox launch profiles and scripts that automate the routineβ18Feb 1, 2023Updated 3 years ago
- β14Jan 3, 2022Updated 4 years ago
- Nix Expressions for Altera(Intel) Quartusβ17Oct 28, 2020Updated 5 years ago
- Additional Jest matchers for snapshot testing.β21Jul 11, 2023Updated 2 years ago
- A Cheat Sheet for Coq Developers who want to try LeanProverβ19Jul 25, 2023Updated 2 years ago
- Stable sort algorithms and their stability proofs in Rocqβ25Dec 10, 2025Updated 6 months ago