Skip to content
View MrVPlusOne's full-sized avatar
77 followers · 66 following

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report MrVPlusOne

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
MrVPlusOne/README.md

Jiayi's Research and Personal Projects by Area

Programing Languages and Software Engineering

  • Coeditor: Leveraging Contextual Changes for Multi-round Code Auto-editing.
  • TypeT5: Seq2seq Type Inference using Static Analysis and CodeT5.
  • LambdaNet: Probabilistic Type Inference for Javascript using Graph Neural Networks.
  • Singularity: Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis.
  • Escher-Scala: Recursive Program Synthesis using input-output examples.
  • LazyLang: A Haskell-style lazy-evaluation language in 500 lines of Scala code, using Monad Transformers.
  • TensorSafe: A Scala tensor/matrix library that encodes tensor shapes using type-level programming.

Robotics

  • STEADY: Simultaneous State Estimation and Dynamics Learning from Indirect Observations.
  • OneVision: Centralized to Distributed Controller Synthesis.

Miscellaneous

  • SimpleTypePrint.jl: Display Julia types in a more human-friendly way.
  • SmartAsserts.jl: A drop-in replacement of the @assert macro that prints out additional information upon failure.
  • Muse: A novel algorithm to turn plain texts into stylish handwritings.
  • textVary: An essay writer that detects repeating phrases.
  • LensTrace: A ray tracer written in Scala, featuring dispersion effects.
  • CAS-scala: A simple Computer Algebra System written in Scala with 2D formula rendering.

Pinned Loading

  1. Coeditor Coeditor Public

    Coeditor: Leveraging Repo-level Diffs for Code Auto-editing

    Python 25 2

  2. utopia-group/TypeT5 utopia-group/TypeT5 Public

    Seq2seq Type Inference using Static Analysis and CodeT5

    Jupyter Notebook 30 7

  3. LambdaNet LambdaNet Public

    Probabilistic Type Inference using Graph Neural Networks

    Scala 48 12

  4. Muse-CGH Muse-CGH Public

    Stylish Computer Generated Handwritings

    Scala 137 34

  5. Singularity Singularity Public

    Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis

    Scala 21 1

  6. STEADY STEADY Public

    Simultaneous State Estimation and Dynamics Learning from Indirect Observations.

    Julia 3 1