VinaLx

Type Theory Apprentice / PhD Student in HKU

the University of Hong KongHong Kong

Pinned Repositories

hkuplg.github.io
Language:SCSS7 26 06
coquille
Interactive theorem proving with Coq in vim.
Language:Vim Script0 1 00
delaunay-triangulation
Demo for HKU COMP8504 course project
Language:C++0 2 00
dependent-polymorphic-subtyping
Formalization for Dependent Polymorphic Subtyping, from a sub-directory of my main working repository
Language:Coq1 2 01
dependent-worklist-inference
Formalization of dependent type inference with the worklist approach. Not sure whether it'll work.
Language:Coq0 2 00
oj
Some online judge problem solutions
Language:Haskell0 2 00
playground
Interesting little experiments
Language:Haskell0 2 00
RimWorld-ResearchPal
Making researching a breeze!
Language:C#5 2 09
textbook-exercises
My solutions for coding exercises of various (programming languages) textbooks.
Language:Racket1 2 00
vinalx.github.io
My blog
Language:SCSS0 2 00

VinaLx/RimWorld-ResearchPal
Making researching a breeze!
Language:C#5 2 09
VinaLx/dependent-polymorphic-subtyping
Formalization for Dependent Polymorphic Subtyping, from a sub-directory of my main working repository
Language:Coq1 2 01
VinaLx/textbook-exercises
My solutions for coding exercises of various (programming languages) textbooks.
Language:Racket1 2 00
VinaLx/coquille
Interactive theorem proving with Coq in vim.
Language:Vim Script0 1 00
VinaLx/delaunay-triangulation
Demo for HKU COMP8504 course project
Language:C++0 2 00
VinaLx/dependent-worklist-inference
Formalization of dependent type inference with the worklist approach. Not sure whether it'll work.
Language:Coq0 2 00
VinaLx/oj
Some online judge problem solutions
Language:Haskell0 2 00
VinaLx/playground
Interesting little experiments
Language:Haskell0 2 00
VinaLx/vinalx.github.io
My blog
Language:SCSS0 2 00