Pinned Repositories
Coeditor
Coeditor: Leveraging Repo-level Diffs for Code Auto-editing
Escher-Scala
Recursive Program Synthesis using input-output examples
LambdaNet
Probabilistic Type Inference using Graph Neural Networks
Muse-CGH
Stylish Computer Generated Handwritings
SimpleTypePrint
Display Julia types in a more human-friendly way.
Singularity
Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis
SmartAsserts.jl
A drop-in replacement of `Base.@assert` that prints out additional information upon failure.
STEADY
Simultaneous State Estimation and Dynamics Learning from Indirect Observations.
textVary
Help you write better GRE/TOEFL essays by detecting your repeating phrases.
TypeT5
Seq2seq Type Inference using Static Analysis and CodeT5
MrVPlusOne's Repositories
MrVPlusOne/LambdaNet
Probabilistic Type Inference using Graph Neural Networks
MrVPlusOne/textVary
Help you write better GRE/TOEFL essays by detecting your repeating phrases.
MrVPlusOne/Coeditor
Coeditor: Leveraging Repo-level Diffs for Code Auto-editing
MrVPlusOne/Singularity
Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis
MrVPlusOne/SmartAsserts.jl
A drop-in replacement of `Base.@assert` that prints out additional information upon failure.
MrVPlusOne/SimpleTypePrint
Display Julia types in a more human-friendly way.
MrVPlusOne/vscode-coeditor
It's like Copilot but for suggesting where and how to make code changes.
MrVPlusOne/CAS-scala
A simple Computer Algebra System in Scala
MrVPlusOne/LensTrace
A ray tracer written in Scala, featuring dispersion effects
MrVPlusOne/STEADY
Simultaneous State Estimation and Dynamics Learning from Indirect Observations.
MrVPlusOne/mrvplusone.github.io
My new home page (2023)
MrVPlusOne/old-page-2020
Jiayi Wei's homepage repo
MrVPlusOne/OneVision.jl
Centralized to Distributed Controller Synthesis
MrVPlusOne/ArgCheck.jl
Package for checking function arguments
MrVPlusOne/arxiv-style
A Latex style and template for paper preprints (based on NIPS style)
MrVPlusOne/circe
Yet another JSON library for Scala
MrVPlusOne/CS395T_Project4
MrVPlusOne/Distributions.jl
A Julia package for probability distributions and associated functions.
MrVPlusOne/docs
Documentation for the julia VS Code extension
MrVPlusOne/Gadfly.jl
Crafty statistical graphics for Julia.
MrVPlusOne/Gen.jl
A general-purpose probabilistic programming system with programmable inference
MrVPlusOne/homepage-hugo
MrVPlusOne/logseq
A privacy-first, open-source platform for knowledge management and collaboration. Desktop app download link: https://github.com/logseq/logseq/releases, roadmap: https://trello.com/b/8txSM12G/roadmap
MrVPlusOne/many-types-4-py-dataset
ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference
MrVPlusOne/Metatheory.jl
General purpose metaprogramming and algebraic computation library for the Julia programming language
MrVPlusOne/mlcgmd
Simulate time-integrated coarse-grained MD with graph neural network world models (graphwm)
MrVPlusOne/MrVPlusOne
MrVPlusOne/notes
MrVPlusOne/pyright
Static type checker for Python
MrVPlusOne/typilus-action
A GitHub Action for suggesting Python type annotations.