Pinned Repositories
Consistent-Subtyping-for-All
Haskell implementation and Coq proof for an implicit polymorphic gradual type system.
dependent-types-in-haskell
Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
Dissertation
My PhD Thesis
EvEff
Efficient Haskell effect handlers based on evidence translation.
GHC-Core-Literature-Review
Literature review of GHC's Core language, System FC
haskell-programming-from-first-principles
Notes and Exercises for the book Haskell Programming from First Principles
haskell-trainings
Haskell 101 and 102: slides and codelabs
MpEff
Efficient effect handlers based on Evidence Passing Semantics.
Row-and-Bounded-via-Disjoint
Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
TypeInfer
Type inference for 'type level computation one step at a time'
xnning's Repositories
xnning/EvEff
Efficient Haskell effect handlers based on evidence translation.
xnning/GHC-Core-Literature-Review
Literature review of GHC's Core language, System FC
xnning/MpEff
Efficient effect handlers based on Evidence Passing Semantics.
xnning/Consistent-Subtyping-for-All
Haskell implementation and Coq proof for an implicit polymorphic gradual type system.
xnning/dependent-types-in-haskell
Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
xnning/Dissertation
My PhD Thesis
xnning/Row-and-Bounded-via-Disjoint
Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
xnning/TypeInfer
Type inference for 'type level computation one step at a time'
xnning/haskell-programming-from-first-principles
Notes and Exercises for the book Haskell Programming from First Principles
xnning/haskell-trainings
Haskell 101 and 102: slides and codelabs
xnning/type-driven-develop
Exercise Solution for the book Type Driven Development with Idris
xnning/FunImpl
Materials of the draft paper "Type-level Computation One Step at a Time"
xnning/software_foundation_exercises
Exercises of book Software Foundation
xnning/xnning.github.io
xnning/hugo-academic
The website designer for Hugo. Build and deploy a beautiful website in minutes :rocket:
xnning/vim-f2j-highlight
Highlight f2j code in Vim editor
xnning/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.
xnning/dex-lang
Research language for array processing in the Haskell/ML family
xnning/dsss17
xnning/fcore
Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding
xnning/ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
xnning/haddock
Haskell Documentation Tool
xnning/hiw
Haskell Implementors Workshop
xnning/icfp2020-papers
ICFP 2020 papers. Crowd-sourced
xnning/intersection
xnning/jax
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
xnning/madoko
Madoko is a fast markdown processor for high quality academic and technical articles
xnning/PokemonGo-Bot
The Pokemon Go Bot, baking with community.
xnning/popl2017-papers
Link to preprints for POPL'17 and co-located events
xnning/scala-xml
The standard Scala XML library.