MrVPlusOne/Singularity

Stars
21
Rank 1,084,038 (Top 22 %)
Language
Scala
License
BSD 3-Clause "New...
Created about 7 years ago
Updated about 3 years ago

MrVPlusOne/Singularity

MrVPlusOne

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis

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.

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