Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/mrvplusone/mrvplusone

Last synced: 9 days ago
JSON representation

Host: GitHub
URL: https://github.com/mrvplusone/mrvplusone
Owner: MrVPlusOne
Created: 2022-06-25T06:54:43.000Z (over 2 years ago)
Default Branch: master
Last Pushed: 2023-06-07T17:41:36.000Z (over 1 year ago)
Last Synced: 2024-05-22T00:04:33.475Z (6 months ago)
Size: 17.6 KB
Stars: 0
Watchers: 3
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md

Awesome Lists containing this project

README

        ## Jiayi's Research and Personal Projects by Area

 

### Programing Languages and Software Engineering

- [Coeditor](https://github.com/MrVPlusOne/Coeditor): Leveraging Contextual Changes for Multi-round Code Auto-editing.

  - [Coeditor VSCode Extension](https://github.com/MrVPlusOne/vscode-coeditor): AI-powered code editing assistant.

- [TypeT5](https://github.com/utopia-group/TypeT5): Seq2seq Type Inference using Static Analysis and CodeT5.

- [LambdaNet](https://github.com/MrVPlusOne/LambdaNet): Probabilistic Type Inference for Javascript using Graph Neural Networks.

- [Singularity](https://github.com/MrVPlusOne/Singularity): Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis.

- [Escher-Scala](https://github.com/MrVPlusOne/Escher-Scala): Recursive Program Synthesis using input-output examples.

- [LazyLang](https://github.com/MrVPlusOne/LazyLang): A Haskell-style lazy-evaluation language in 500 lines of Scala code, using Monad Transformers.

- [TensorSafe](https://github.com/MrVPlusOne/TensorSafe): A Scala tensor/matrix library that encodes tensor shapes using type-level programming.

### Robotics

- [STEADY](https://github.com/MrVPlusOne/STEADY): Simultaneous State Estimation and Dynamics Learning from Indirect Observations.

- [OneVision](https://github.com/MrVPlusOne/OneVision.jl): Centralized to Distributed Controller Synthesis.

### Miscellaneous

- [SimpleTypePrint.jl](https://github.com/MrVPlusOne/SimpleTypePrint): Display Julia types in a more human-friendly way.

- [SmartAsserts.jl](https://github.com/MrVPlusOne/SmartAsserts.jl): A drop-in replacement of the `@assert` macro that prints out additional information upon failure.

- [Muse](https://github.com/MrVPlusOne/Muse-CGH): A novel algorithm to turn plain texts into stylish handwritings.

- [textVary](https://github.com/MrVPlusOne/textVary): An essay writer that detects repeating phrases.

- [LensTrace](https://github.com/MrVPlusOne/LensTrace): A ray tracer written in Scala, featuring dispersion effects.

- [CAS-scala](https://mrvplusone.github.io/old-homepage/gallery-casInScala.html): A simple Computer Algebra System written in Scala with 2D formula rendering.