HKUST TACO Lab
Types, Abstraction, Compilers & Optimization – research group at HKUST
Pinned Loading
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!
- 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.
- binaryen Public Forked from WebAssembly/binaryen
Optimizer and compiler/toolchain library for WebAssembly
- mlscript-vscode-extension Public
- invalml Public
- invalml-web-demo Public
- mlstruct Public
Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
- metaprogramming-web-demo Public
Top languages
Loading…
Most used topics
Loading…