• Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    TypeScript
  • License
    GNU General Publi...
  • Created almost 2 years ago
  • Updated over 1 year ago

Reviews

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

Repository Details

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

More Repositories

1

Muse-CGH

Stylish Computer Generated Handwritings
Scala
136
star
2

LambdaNet

Probabilistic Type Inference using Graph Neural Networks
Scala
47
star
3

textVary

Help you write better GRE/TOEFL essays by detecting your repeating phrases.
Scala
26
star
4

Singularity

Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis
Scala
21
star
5

Coeditor

Coeditor: Leveraging Repo-level Diffs for Code Auto-editing
Python
20
star
6

SmartAsserts.jl

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

SimpleTypePrint

Display Julia types in a more human-friendly way.
Julia
11
star
8

TensorSafe

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

Escher-Scala

Recursive Program Synthesis using input-output examples
Scala
7
star
10

TOEFL-preparation

6
star
11

STEADY

Simultaneous State Estimation and Dynamics Learning from Indirect Observations.
Julia
3
star
12

CAS-scala

A simple Computer Algebra System in Scala
Scala
3
star
13

LensTrace

A ray tracer written in Scala, featuring dispersion effects
Scala
3
star
14

Youdao-for-mac

Add "look up in Youdao" Service to your mac. δΈΊδ½ ηš„Macζ·»εŠ β€œζœ‰ι“ζŸ₯θ―’β€εŠŸθƒ½γ€‚
2
star
15

Lambda-In-Haskell

A haskell library for lamdba calculus.
Haskell
2
star
16

RecipeManager

Mr V+1's Recipe Manager for Scala Programmers
Scala
1
star
17

LazyLang

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

ScalaAlgebraSystem

A Computer Algebra System (CAS) written in Scala.
Scala
1
star
19

SpaceY

Landing rockets using deep reinforcement learning!
Scala
1
star
20

GalaxySimulation

A demonstration of Barnes–Hut's algorithm for n-body simulations
Scala
1
star
21

old-page-2020

Jiayi Wei's homepage repo
HTML
1
star