University documents that I have collected from HCM-IU VNU
☆48Jan 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
- Fast and clean schedule generator for IUers!☆12Jan 5, 2023Updated 3 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
- ☆14Oct 15, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Simple lock-screen for idle React applications☆11Nov 9, 2019Updated 6 years ago
- Read custom dataset☆12Mar 31, 2023Updated 3 years ago
- Portfolio website built with TypeScript, Next.js and Tailwind.☆15May 21, 2024Updated 2 years ago
- ☆13Dec 10, 2020Updated 5 years ago
- Script and library to wait for a DNS authority server to get its configuration.☆15Oct 21, 2021Updated 4 years ago
- ☆17Jul 4, 2026Updated 3 months ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- ☆16Oct 21, 2023Updated 2 years ago
- ☆12Sep 17, 2026Updated 3 weeks ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Source code for all my competitive programming activities☆13Dec 28, 2024Updated last year
- Catppuccinify images with LUTs using WebAssembly☆13Sep 12, 2024Updated 2 years ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Experiments with some ways of automating reasoning in lean 4☆19Apr 20, 2024Updated 2 years ago
- An interactive guide to the game theory of cooperation☆12Aug 14, 2017Updated 9 years ago
- ☆16Oct 19, 2023Updated 2 years ago
- This project uses GitLab Actions to collect the weather then update to README.md☆24Updated this week
- Tutorial on pythonically generating Object Detection data in blender☆14Nov 29, 2020Updated 5 years ago
- The third iteration of the Lavender programming language, implemented in Rust.☆12Apr 17, 2021Updated 5 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.
- ☆19Dec 3, 2025Updated 10 months ago
- osu!notsodirect is a hacky, but functional local replacement for osu!direct.☆10Apr 8, 2026Updated 6 months ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆11Aug 27, 2022Updated 4 years ago
- A project which aim to help engineers to make proves easily☆14Mar 3, 2022Updated 4 years ago
- implementation of zig-BUILD lib to python to make working with matrices faster, for fun lets see what is going to happen☆25Apr 12, 2026Updated 6 months ago
- ☆15Updated this week
- My GitHub profile page☆14Dec 26, 2025Updated 9 months ago
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated 7 months ago
- Fork of Python with some terrible custom features hacked in☆14Oct 7, 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.
- Additional Jest matchers for snapshot testing.☆21Jul 11, 2023Updated 3 years ago
- ☆14Jan 3, 2022Updated 4 years ago
- Nix Expressions for Altera(Intel) Quartus☆17Oct 28, 2020Updated 5 years ago
- Stable sort algorithms and their stability proofs in Rocq☆26Sep 18, 2026Updated 3 weeks ago
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆19Jul 17, 2026Updated 2 months ago
- Variadic reference-based implementation of a zip iterator in C++(>=17)☆20Jul 1, 2020Updated 6 years ago
- The Evi programming language☆16Jun 17, 2022Updated 4 years ago