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/Muse-CGH
Stylish Computer Generated Handwritings
MrVPlusOne/Escher-Scala
Recursive Program Synthesis using input-output examples
MrVPlusOne/TensorSafe
Encode tensor/matrix shapes into Scala's type system.
MrVPlusOne/TOEFL-preparation
MrVPlusOne/Lambda-In-Haskell
A haskell library for lamdba calculus.
MrVPlusOne/Youdao-for-mac
Add "look up in Youdao" Service to your mac. 为你的Mac添加“有道查询”功能。
MrVPlusOne/GalaxySimulation
A demonstration of Barnes–Hut's algorithm for n-body simulations
MrVPlusOne/LazyLang
A Haskell-style lazy language in 500 lines of Scala code
MrVPlusOne/RecipeManager
Mr V+1's Recipe Manager for Scala Programmers
MrVPlusOne/ScalaAlgebraSystem
A Computer Algebra System (CAS) written in Scala.
MrVPlusOne/SpaceY
Landing rockets using deep reinforcement learning!
MrVPlusOne/academic-page
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
MrVPlusOne/ArcPercolation
2D-percolation simulation with arcs.
MrVPlusOne/ComputationalLogic
A Scala library for Computational Logic
MrVPlusOne/DL-project1
Project 1 for CS 395T
MrVPlusOne/EssayWriter
A simple web page for writing TOEFL essays
MrVPlusOne/Isabelle-stuff
MrVPlusOne/J--_in_Scala
A j-- compiler written in Scala
MrVPlusOne/MC-Gobang
Gobang AI based on Monte-Carlo simulations
MrVPlusOne/old-homepage
My personal page
MrVPlusOne/research-goal
Combine mechanical and fuzzing reasoning
MrVPlusOne/SecondMate
A JEdit parenthesis paring plugin, designed for Isabelle. Based on FirstMate.
MrVPlusOne/Singularity-related
MrVPlusOne/textVary-storage
MrVPlusOne/WebAccounting
A simple web page for accounting.