2
Repos
267
Stars
43
Forks
267
Watchers
Repositories (2)
mlscript
hkust-taco/mlscript
Scala
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
218
40
mlstruct
hkust-taco/mlstruct
Scala
Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
49
3