List of Softwares

• Type Inference Zoo: Explore with Type Inference Algorithms
• The in-browser implementation of CP
• F2​J - FCore to Java
• FCore

List of Code Repositories

• Recursive Subtyping for All (Artifacts)
  The Coq formalization of paper "Recursive Subtyping for All".
  
• Nested Composition (Artifact)
  The Coq formalization of paper "The Essence of Nested Composition".
  
• Type-Safe Modular Parsing
  In Scala
  
• FCore
  Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding.
  
• ShyFramework
  This repository contains the implementation of Shy related to "Scrap Your Boilerplate with Object Algebras"
  
• EmbeddedDSL
  Composable algebra with dependencies
  
• FParser
  A monadic parser combinators library implementation in F2J (FCore to Java). (Master Dissertation Project)
  
• Efficient Parser and Pretty Printer Combinators in F2J
  Master Dissertation by Yuteng Zhong, Yi Li, and Fan Xia