Ningning's repositories
GHC-Core-Literature-Review
Literature review of GHC's Core language, System FC
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
Row-and-Bounded-via-Disjoint
Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
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
type-driven-develop
Exercise Solution for the book Type Driven Development with Idris
software_foundation_exercises
Exercises of book Software Foundation
hugo-academic
The website designer for Hugo. Build and deploy a beautiful website in minutes :rocket:
vim-f2j-highlight
Highlight f2j code in Vim editor
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.
dex-lang
Research language for array processing in the Haskell/ML family
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.
hiw
Haskell Implementors Workshop
icfp2020-papers
ICFP 2020 papers. Crowd-sourced
jax
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
madoko
Madoko is a fast markdown processor for high quality academic and technical articles
PokemonGo-Bot
The Pokemon Go Bot, baking with community.
popl2017-papers
Link to preprints for POPL'17 and co-located events