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 227 42

  2. mlstruct mlstruct Public

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

    Scala 52 2

Repositories

Showing 10 of 17 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 227 MIT 42 41 (3 issues need help) 11 Updated Sep 15, 2026
  • binaryen.js Public Forked from AssemblyScript/binaryen.js

    A buildbot for browser & Node.js builds of Binaryen, a compiler infrastructure and toolchain library for WebAssembly.

    hkust-taco/binaryen.js's past year of commit activity
    JavaScript 0 Apache-2.0 59 0 0 Updated Aug 1, 2026
  • binaryen Public Forked from WebAssembly/binaryen

    Optimizer and compiler/toolchain library for WebAssembly

    hkust-taco/binaryen's past year of commit activity
    WebAssembly 0 Apache-2.0 923 0 0 Updated Jul 31, 2026
  • fcct-demo Public

    Demo for FCCT

    hkust-taco/fcct-demo's past year of commit activity
    JavaScript 0 0 0 0 Updated Jul 6, 2026
  • mlscript-vscode-extension Public
    hkust-taco/mlscript-vscode-extension's past year of commit activity
    Scala 1 MIT 1 1 0 Updated Mar 27, 2026
  • invalml Public
    hkust-taco/invalml's past year of commit activity
    Scala 2 MIT 1 0 0 Updated Aug 29, 2025
  • invalml-web-demo Public
    hkust-taco/invalml-web-demo's past year of commit activity
    JavaScript 0 0 0 0 Updated Aug 29, 2025
  • 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 52 MIT 2 0 0 Updated Dec 16, 2024
  • metaprogramming-web-demo Public
    hkust-taco/metaprogramming-web-demo's past year of commit activity
    Scala 1 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 6 MIT 0 0 0 Updated Sep 4, 2024
View all repositories