Stylish Computer Generated Handwritings
Help you write better GRE/TOEFL essays by detecting your repeating phrases.
Singularity: Pattern Fuzzing for Worst-Case Algorithmic Complexity
Recursive Program Synthesis using input-output examples
Encode tensor/matrix shapes into Scala's type system.
A simple Computer Algebra System in Scala
A ray tracer written in Scala, featuring dispersion effects
Add "look up in Youdao" Service to your mac. 为你的Mac添加“有道查询”功能。
A Haskell-style lazy language in 500 lines of Scala code
A demonstration of Barnes–Hut's algorithm for n-body simulations
Mr V+1's Recipe Manager for Scala Programmers
Landing rockets using deep reinforcement learning!
A haskell library for lamdba calculus.
A Computer Algebra System (CAS) written in Scala.
Jiayi Wei's homepage
Jiayi Wei's homepage repo
Project 1 for CS 395T
My personal page
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Combine mechanical and fuzzing reasoning
A Scala library for Computational Logic
2D-percolation simulation with arcs.
A JEdit parenthesis paring plugin, designed for Isabelle. Based on FirstMate.
Gobang AI based on Monte-Carlo simulations
A j-- compiler written in Scala
A simple web page for writing TOEFL essays
A simple web page for accounting.