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 171 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