Skip to content
View andongfan's full-sized avatar

Organizations

@hkust-taco

Block or report andongfan

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. hkust-taco/mlscript hkust-taco/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 172 26

  2. hkust-taco/superoop hkust-taco/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)

    Scala 10 1

  3. hkust-taco/superf hkust-taco/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)

    Scala 14

  4. CP-Foundations CP-Foundations Public

    Artifact and extended version of Direct Foundations for Compositional Programming

    Coq 4 1

  5. QSCTech/qsc-mobile-ios-v3 QSCTech/qsc-mobile-ios-v3 Public

    Legacy Code of ZJU Campus App for iOS

    Swift 11 1