☆43Oct 29, 2025Updated 4 months ago
Alternatives and similar repositories for HKU-COMP3230A-Tutorialabs
Users that are interested in HKU-COMP3230A-Tutorialabs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The notes, assignments, exercises & some solution code for the course ENGG1340/COMP2113 for the spring semester of the academic year of 2…☆17Jun 13, 2025Updated 9 months ago
- The code repository of course COMP3360☆36Apr 15, 2024Updated last year
- ☆13Aug 18, 2022Updated 3 years ago
- Course materials for HKU STAT3612 Statistical Machine Learning☆21Jun 28, 2021Updated 4 years ago
- Open, hand-typed notes by HKU students, for HKU students.☆18Sep 5, 2025Updated 6 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- TypeDuck: Cantonese for everyone at your fingertips☆23Nov 17, 2024Updated last year
- https://nlp.cs.hku.hk/comp7607-fall2023/☆15Nov 23, 2023Updated 2 years ago
- Code from CS152 lectures☆14Feb 27, 2026Updated last month
- 大家来找茬☆13Jun 10, 2021Updated 4 years ago
- ☆25Feb 18, 2026Updated last month
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Oct 22, 2023Updated 2 years ago
- Automatic `mod` declaration with visibility/re-export customization, conditional compilation and more.☆22Mar 20, 2023Updated 3 years ago
- 一款现代风格的满文字体☆27Aug 1, 2025Updated 7 months ago
- [WWW'23] "AutoCF: Automated Self-Supervised Learning for Recommendation"☆51Feb 28, 2024Updated 2 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 甬江小片方言資料整理☆28Jan 11, 2026Updated 2 months ago
- StarNet AI mod for Stellaris.☆10May 12, 2024Updated last year
- The "Python Machine Learning" book code repository and info resource☆25Jun 27, 2017Updated 8 years ago
- This is material to complement the FutureLearn MOOC on "Defensive programming and debugging", as well as for training purposes.☆13May 8, 2025Updated 10 months ago
- 🧪 Experiments in calling Zig code from MoonBit (via C ABI bridge initially), aiming for direct interop.☆12Apr 7, 2025Updated 11 months ago
- Source file of Maoken Heavy Labourer ｜ 猫啃网扛重族源文件☆11Dec 6, 2021Updated 4 years ago
- QA system based on Medical knowledge graph☆15Jun 26, 2019Updated 6 years ago
- The repository for HKU ENGG1340 Group Project (24/25 Semester 2).☆10Jun 22, 2025Updated 9 months ago
- A terminal text editor written in MoonBit☆11Apr 7, 2025Updated 11 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Mirror repository, PRs are not watched, please use Xfce's GitLab☆13Jan 26, 2026Updated 2 months ago
- ☆11Mar 20, 2025Updated last year
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Aug 29, 2021Updated 4 years ago
- Python scripts to convert animated gif, videos & still pictures (png...) for ssd1306-like OLED panels, including a zlib compression featu…☆15Jan 2, 2026Updated 2 months ago
- 一个基于UOJ开发的在线评测系统☆20Sep 9, 2020Updated 5 years ago
- Write, compile and run WebAssembly text mode in the browser☆16Jan 5, 2026Updated 2 months ago
- An upgraded version of Kantumruy.☆13Jan 13, 2024Updated 2 years ago
- 自已制作的衡阳师范大学LaTeX试卷模板（含答案）☆18Jan 26, 2026Updated 2 months ago
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 3 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Mechanized baselines for various type system features☆18Updated this week
- ☆11Sep 8, 2021Updated 4 years ago
- A Material Design-inspired userChrome.css theme for Firefox☆10Jun 12, 2023Updated 2 years ago
- A Python library to add reconstructed pronunciations of Middle Chinese on Chinese texts☆11Mar 13, 2023Updated 3 years ago
- ☆17Oct 20, 2024Updated last year
- ☆10May 27, 2025Updated 10 months ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Aug 28, 2024Updated last year