tjhao

Pinned Repositories

hkuplg.github.io
Language:SCSS7 26 05
EnvCap
Implementation of EnvCap: A Programming Language with Capabilities as First-Class Modules using λₑ with extensions as the Core Calculus.
Language:Coq20
codewars-haskell
Solutions to Codewars katas in Haskell
Language:Haskell0 1 00
ecoop2023
Artifact of Dependent Merges and First-Class Environments
Language:Coq0 1 00
tjhao.github.io
Language:CSS00

tjhao's Repositories

tjhao/codewars-haskell
Solutions to Codewars katas in Haskell
Language:Haskell0 1 00
tjhao/ecoop2023
Artifact of Dependent Merges and First-Class Environments
Language:Coq0 1 00
tjhao/tjhao.github.io
Language:CSS00