Skip to content
@hkust-taco

HKUST TACO Lab

Types, Abstraction, Compilers & Optimization – research group at HKUST

Pinned Loading

  1. mlscript mlscript Public

    The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

    Scala 178 28

  2. mlstruct mlstruct Public

    Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"

    Scala 35 2

Repositories

Showing 10 of 12 repositories
  • mlscript Public

    The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

    hkust-taco/mlscript’s past year of commit activity
    Scala 178 MIT 28 25 (2 issues need help) 11 Updated Dec 21, 2024
  • mlstruct Public

    Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"

    hkust-taco/mlstruct’s past year of commit activity
    Scala 35 MIT 2 1 0 Updated Dec 16, 2024
  • metaprogramming-web-demo Public
    hkust-taco/metaprogramming-web-demo’s past year of commit activity
    Scala 0 MIT 0 0 0 Updated Oct 22, 2024
  • ucs Public

    Artifact for paper "The Ultimate Conditional Syntax" at OOPSLA 2024.

    hkust-taco/ucs’s past year of commit activity
    Scala 4 MIT 0 0 0 Updated Sep 4, 2024
  • ucs-web-demo Public

    The web demo of the implementation of Ultimate Conditional Syntax in MLscript. This is a part of the artifact for paper "The Ultimate Conditional Syntax".

    hkust-taco/ucs-web-demo’s past year of commit activity
    TypeScript 0 0 1 0 Updated Aug 31, 2024
  • lumberhack Public
    hkust-taco/lumberhack’s past year of commit activity
    OCaml 0 0 0 0 Updated Jul 9, 2024
  • superf Public

    Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.sigplan.org/details/POPL-2024-popl-research-papers/50)

    hkust-taco/superf’s past year of commit activity
    Scala 14 MIT 0 0 0 Updated May 22, 2024
  • mlscript-syntax-highlighting Public
    hkust-taco/mlscript-syntax-highlighting’s past year of commit activity
    1 MIT 1 1 0 Updated Jan 16, 2024
  • hmloc Public

    Getting Into The Flow: Better Type Error Messages for Constraint-Based Type Inference (Artifact) https://dl.acm.org/doi/10.1145/3622812

    hkust-taco/hmloc’s past year of commit activity
    Scala 6 MIT 2 0 0 Updated Nov 13, 2023
  • superoop Public

    Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoop.org/details/ecoop-2023-papers/41)

    hkust-taco/superoop’s past year of commit activity
    Scala 12 MIT 1 0 0 Updated Jul 20, 2023
View all repositories

Top languages

Loading…