☆12Nov 5, 2026Updated this week
Alternatives and similar repositories for COMP3271_Computer_Graphics
Users that are interested in COMP3271_Computer_Graphics 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 artifact of the paper "Recursive Subtyping for All"☆10Apr 29, 2024Updated 2 years ago
- Code from CS152 lectures☆14Apr 13, 2026Updated 6 months ago
- ☆17Apr 4, 2024Updated 2 years ago
- The code repository of course COMP3360☆35Apr 15, 2024Updated 2 years ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆12Apr 3, 2026Updated 7 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.
- Semantic Type Soundness in Lean 4☆19Sep 28, 2026Updated last month
- Open, hand-typed notes by HKU students, for HKU students.☆18Oct 18, 2026Updated 2 weeks ago
- PL syntax macros.☆22Oct 8, 2026Updated 3 weeks ago
- HKU Moodle client that helps fetch deadlines, set reminders, view courses and so on, renovated and rewritten in Flutter.☆15Feb 8, 2025Updated last year
- A Coq library providing tactics to deal with hypothesis☆23Apr 13, 2026Updated 6 months ago
- Python API for https://www.boxofficemojo.com☆11Nov 8, 2018Updated 7 years ago
- Mechanized baselines for various type system features☆19Apr 14, 2026Updated 6 months ago
- ranwengamebot的源码，欢迎完善☆10Jan 1, 2021Updated 5 years ago
- Core code of the paper "Unbiased Caustics Rendering Guided by Representative Specular Paths".☆12Sep 8, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Revision notes for the course HKU COMP2120 - Computer Organisation written in LaTeX.☆15May 22, 2025Updated last year
- IsaacNPC is a lightweight NPC (Non-Player Character) framework for IsaacLab, enabling robots to act as autonomous environment entities dr…☆19Jan 1, 2026Updated 10 months ago
- ☆14Mar 4, 2023Updated 3 years ago
- A online playground to explore with type Inference algorithms.☆18Jan 28, 2026Updated 9 months ago
- ☆15Apr 16, 2024Updated 2 years ago
- Denotational semantics based on graph and filter models☆25Updated this week
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆23Oct 2, 2026Updated last month
- libpgo: Library for Physically based Simulation (P), Geometric Shape Modeling (G), and Optimization (O)☆29Oct 2, 2026Updated last month
- Akari is a manga reader built with tanstack start☆27Aug 31, 2026Updated 2 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.
- ☆22Oct 19, 2026Updated 2 weeks ago
- 🚀 BARK INFINITY 🎶 Power Up The Bark Text-prompted Generative Audio Model☆19May 1, 2023Updated 3 years ago
- Xcode theme for Emacs☆20Apr 8, 2022Updated 4 years ago
- Compute the Voronoi covariance measure of a point cloud☆12Nov 3, 2014Updated 12 years ago
- An intermediate verification language☆31Jan 4, 2026Updated 10 months ago
- 中科大大物实验数据☆14Mar 5, 2022Updated 4 years ago
- A framework that calibrates object properties through differentiable simulations of robot-object interactions.☆29May 3, 2025Updated last year
- ☆14Oct 30, 2024Updated 2 years ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆31Updated this week
- 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.
- ☆12Sep 27, 2023Updated 3 years ago
- Rocqet proof language☆29Aug 11, 2025Updated last year
- A regular expression module for MoonBit☆10Jul 4, 2025Updated last year
- On the Opportunities and Risks of Frontier Models for 3D Modeling, Computational Design and Robotics (MIT CSAIL CDFG)☆12Updated this week
- ☆13Oct 18, 2026Updated 2 weeks ago
- Implementation of analytic collision penalty eigensystems (with Matlab)☆20Oct 23, 2025Updated last year
- Bidirectional WoS☆19Sep 25, 2025Updated last year