LPTK

Assistant Professor at HKUST (Hong Kong University of Science and Technology), CSE department

HKUST

Pinned Repositories

dbstage
Language:Scala15 6 11
squid
Squid – type-safe metaprogramming and compilation framework for Scala
Language:Scala198 17 4914
mlscript
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
Language:Scala177 5 7128
mlstruct
Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
Language:Scala36 3 12
aggregate
Companion repository to the `Dual to Iterator' blog post
Language:Scala6 3 00
better-java
Resources for writing modern Java
1 2 00
Boilerless
Beautiful Syntax for Sealed Class Hierarchies
Language:Scala38 6 31
SeaglPrototype
Language:Scala2 3 10
simple-sub
Alternative algorithm for algebraic subtyping.
Language:Scala153 7 39
simpler-sub
Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-type-variable constraints. Nevertheless, it's probably enough for what you need!
Language:Scala25 4 01

LPTK's Repositories

LPTK/simple-sub
Alternative algorithm for algebraic subtyping.
Language:Scala153 7 39
LPTK/simpler-sub
Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-type-variable constraints. Nevertheless, it's probably enough for what you need!
Language:Scala25 4 01
LPTK/aggregate
Companion repository to the `Dual to Iterator' blog post
Language:Scala6 3 00
LPTK/SeaglPrototype
Language:Scala2 3 10
LPTK/squid-examples
Language:Scala1 3 01
LPTK/cats
Lightweight, modular, and extensible library for functional programming.
Language:Scala1 0
LPTK/cayman
Cayman is a Jekyll theme for GitHub Pages
Language:SCSS0 0
LPTK/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Language:Python0 0
LPTK/dotty
Research platform for new language concepts and compiler technologies for Scala.
Language:Scala2 0
LPTK/economic_simulations
Language:Scala0 0
LPTK/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
Language:Haskell1 0
LPTK/fastparse
Writing Fast Parsers Fast in Scala
Language:Scala2 0
LPTK/helium
The Helium compiler, Helium-as-a-library, and the texthint interpreter
Language:Haskell1 0
LPTK/icfp2020-captions
1 0
LPTK/icfp2020-papers
ICFP 2020 papers. Crowd-sourced
1 0
LPTK/mlscript
Principal Type Inference in a Boolean Algebra of Structural Types
Language:Scala1 01
LPTK/mlsub
Prototype type inference engine
Language:OCaml1 0
LPTK/monadic-html
Tiny DOM binding library for Scala.js
Language:Scala2 0
LPTK/PLGradSchools
1 0
LPTK/reftree
Automatically generated diagrams and animations for Scala data structures
Language:Scala2 0
LPTK/repos
Language:Shell1 0
LPTK/scala
The Scala programming language
Language:Scala2 0
LPTK/scala-effekt
Extensible algebraic effects with handlers
Language:Scala2 0
LPTK/scallion
LL(1) parser combinators in Scala
Language:Scala0 0
LPTK/silex
Lexing library for Scala
Language:Scala0 0
LPTK/squid
Squid – type-safe metaprogramming and compilation framework for Scala
Language:Scala0 0
LPTK/squid-demo-project
A single Scala file demonstrating basic Squid frontend features
Language:Scala2 0
LPTK/starter-hugo-research-group
👥 Create a stunning Research Group Website with Wowchemy and Hugo
Language:TeX0 0
LPTK/unisonweb-org
Source for the unisonweb.org website
Language:Vue0 0
LPTK/wowchemy-hugo-themes
🔥 Hugo website builder, Hugo themes & Hugo CMS. No code, easily build with blocks! 创建在线课程，学术简历或初创网站。#OpenScience
Language:SCSS0 0