xnning Goto Github PK

followers: 588.0 following: 62.0 repos: 30.0 gists: 0.0

Name: Ningning

Type: User

Company: University of Toronto

Bio: Types are all you need.

Twitter: xnningxie

Blog: http://xnning.github.io/

Ningning's Projects

consistent-subtyping-for-all

Haskell implementation and Coq proof for an implicit polymorphic gradual type system.

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.

dependent-types-in-haskell

Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup

dex-lang

Research language for array processing in the Haskell/ML family

eveff

Efficient Haskell effect handlers based on evidence translation.

fcore

Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding

funimpl

Materials of the draft paper "Type-level Computation One Step at a Time"

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 ([email protected]). First time contributors are encouraged to get started by just sending a Pull Request.