Skip to content
Avatar
🎯
Focusing
🎯
Focusing
69 followers · 60 following

Achievements

Achievement: QuickdrawAchievement: Starstruckx2Achievement: Pull SharkAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: QuickdrawAchievement: Starstruckx2Achievement: Pull SharkAchievement: Arctic Code Vault Contributor
BetaSend feedback

Highlights

  • Pro
Block or Report

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.

Add an optional note:
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

Research Projects
  • LambdaNet: Probabilistic Type Inference for Javascript using Graph Neural Networks. Star on GitHub
  • Singularity: Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis. Star on GitHub
  • Escher-Scala: Recursive Program Synthesis using input-output examples. Star on GitHub
Personal Projects
  • LazyLang: A Haskell-style lazy-evaluation language in 500 lines of Scala code, using Monad Transformers. Star on GitHub
  • TensorSafe: A Scala tensor/matrix library that encodes tensor shapes using type-level programming. Star on GitHub
  • J-- Compiler: A compiler for a subset of Java, written in Scala. Star on GitHub

Robotics

Research Projects
  • STEADY: Simultaneous State Estimation and Dynamics Learning from Indirect Observations. Star on GitHub
  • OneVision: Centralized to Distributed Controller Synthesis. Star on GitHub

Miscellaneous

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

Pinned

  1. LambdaNet Public

    Probabilistic Type Inference using Graph Neural Networks

    Scala 41 11

  2. Muse-CGH Public

    Stylish Computer Generated Handwritings

    Scala 134 32

  3. Singularity Public

    Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis

    Scala 15

  4. STEADY Public

    Simultaneous State Estimation and Dynamics Learning from Indirect Observations.

    Julia 2 1

  5. Escher-Scala Public

    Recursive Program Synthesis using input-output examples

    Scala 7 5

  6. OneVision.jl Public

    Centralized to Distributed Controller Synthesis

    Julia

590 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

October 2022

Created 2 commits in 1 repository
4 contributions in private repositories Oct 2 – Oct 8

Seeing something unexpected? Take a look at the GitHub profile guide.