Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by MrVPlusOne
A curated list of projects in awesome lists by MrVPlusOne .
https://github.com/mrvplusone/muse-cgh
Stylish Computer Generated Handwritings
art-generator font-editor graphics-rendering
Last synced: 28 Oct 2024
https://github.com/mrvplusone/lambdanet
Probabilistic Type Inference using Graph Neural Networks
graph-neural-networks iclr2020 pointer-networks type-inference
Last synced: 28 Oct 2024
https://github.com/mrvplusone/textvary
Help you write better GRE/TOEFL essays by detecting your repeating phrases.
Last synced: 28 Oct 2024
https://github.com/mrvplusone/coeditor
Coeditor: Leveraging Repo-level Diffs for Code Auto-editing
autocomplete pytorch transformer-architecture vscode-extension
Last synced: 28 Oct 2024
https://github.com/mrvplusone/singularity
Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis
complexity-analysis denial-of-service fuzzing-framework genetic-programming software-engineering-research
Last synced: 28 Oct 2024
https://github.com/mrvplusone/smartasserts.jl
A drop-in replacement of `Base.@assert` that prints out additional information upon failure.
Last synced: 28 Oct 2024
https://github.com/mrvplusone/simpletypeprint
Display Julia types in a more human-friendly way.
julia user-experience utilities
Last synced: 28 Oct 2024
https://github.com/mrvplusone/tensorsafe
Encode tensor/matrix shapes into Scala's type system.
Last synced: 28 Oct 2024
https://github.com/mrvplusone/escher-scala
Recursive Program Synthesis using input-output examples
automated-programming program-synthesis programming-by-example
Last synced: 28 Oct 2024
https://github.com/mrvplusone/vscode-coeditor
It's like Copilot but for suggesting where and how to make code changes.
Last synced: 28 Oct 2024
https://github.com/mrvplusone/steady
Simultaneous State Estimation and Dynamics Learning from Indirect Observations.
expectation-maximization-algorithm machine-learning particle-filters probabilistic-inference stochastic-dynamics
Last synced: 28 Oct 2024
https://github.com/mrvplusone/lenstrace
A ray tracer written in Scala, featuring dispersion effects
Last synced: 28 Oct 2024
https://github.com/mrvplusone/cas-scala
A simple Computer Algebra System in Scala
Last synced: 28 Oct 2024
https://github.com/mrvplusone/lambda-in-haskell
A haskell library for lamdba calculus.
Last synced: 28 Oct 2024
https://github.com/mrvplusone/youdao-for-mac
Add "look up in Youdao" Service to your mac. 为你的Mac添加“有道查询”功能。
Last synced: 28 Oct 2024
https://github.com/mrvplusone/galaxysimulation
A demonstration of Barnes–Hut's algorithm for n-body simulations
Last synced: 28 Oct 2024
https://github.com/mrvplusone/spacey
Landing rockets using deep reinforcement learning!
Last synced: 28 Oct 2024
https://github.com/mrvplusone/scalaalgebrasystem
A Computer Algebra System (CAS) written in Scala.
Last synced: 28 Oct 2024
https://github.com/mrvplusone/recipemanager
Mr V+1's Recipe Manager for Scala Programmers
Last synced: 28 Oct 2024
https://github.com/mrvplusone/lazylang
A Haskell-style lazy language in 500 lines of Scala code
functional-programming lazy-evaluation monad-transformers
Last synced: 28 Oct 2024
https://github.com/mrvplusone/arcpercolation
2D-percolation simulation with arcs.
Last synced: 28 Oct 2024
https://github.com/mrvplusone/computationallogic
A Scala library for Computational Logic
Last synced: 28 Oct 2024
https://github.com/mrvplusone/onevision.jl
Centralized to Distributed Controller Synthesis
Last synced: 28 Oct 2024
https://github.com/mrvplusone/essaywriter
A simple web page for writing TOEFL essays
Last synced: 28 Oct 2024
https://github.com/mrvplusone/mc-gobang
Gobang AI based on Monte-Carlo simulations
Last synced: 28 Oct 2024
https://github.com/mrvplusone/research-goal
Combine mechanical and fuzzing reasoning
Last synced: 28 Oct 2024
https://github.com/mrvplusone/secondmate
A JEdit parenthesis paring plugin, designed for Isabelle. Based on FirstMate.
Last synced: 28 Oct 2024
https://github.com/mrvplusone/webaccounting
A simple web page for accounting.
Last synced: 28 Oct 2024