Discover @MrVPlusOne Open Source projects

Jiayi Wei (@MrVPlusOne)

MrVPlusOne

Stars
320
Global Rank 84,489 (Top 3 %)
Followers 78
Following 66
Registered over 9 years ago
Most used languages

Scala
65.0 %

Julia
15.0 %

HTML
5.0 %

TypeScript
5.0 %

Python
5.0 %

Haskell
5.0 %
Location 🇺🇸 United States
Country Total Rank 20,941
Country Ranking

Scala
150

Julia
281

Haskell
1,775

Muse-CGH

Stylish Computer Generated Handwritings

LambdaNet

Probabilistic Type Inference using Graph Neural Networks

textVary

Help you write better GRE/TOEFL essays by detecting your repeating phrases.

Singularity

Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis

Coeditor

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

SmartAsserts.jl

A drop-in replacement of `Base.@assert` that prints out additional information upon failure.

SimpleTypePrint

Display Julia types in a more human-friendly way.

TensorSafe

Encode tensor/matrix shapes into Scala's type system.

Escher-Scala

Recursive Program Synthesis using input-output examples

TOEFL-preparation

vscode-coeditor

It's like Copilot but for suggesting where and how to make code changes.

STEADY

Simultaneous State Estimation and Dynamics Learning from Indirect Observations.

CAS-scala

A simple Computer Algebra System in Scala

LensTrace

A ray tracer written in Scala, featuring dispersion effects

Youdao-for-mac

Add "look up in Youdao" Service to your mac. 为你的Mac添加“有道查询”功能。

Lambda-In-Haskell

A haskell library for lamdba calculus.

RecipeManager

Mr V+1's Recipe Manager for Scala Programmers

LazyLang

A Haskell-style lazy language in 500 lines of Scala code

ScalaAlgebraSystem

A Computer Algebra System (CAS) written in Scala.

SpaceY

Landing rockets using deep reinforcement learning!

GalaxySimulation

A demonstration of Barnes–Hut's algorithm for n-body simulations

old-page-2020

Jiayi Wei's homepage repo