Pinned Repositories
pattern-artifacts
Artifacts for Live Pattern Matching with Typed Holes, OOPSLA 2023
academic-kickstart
📝 Easily create a beautiful website using Academic, Hugo, and Netlify
academic-website
BurstArtifactEvaluation
Artifact Evaluation for Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution
choice
Choice operator in OCaml, providing a backtracking monad
example-telnet-expect
github-slideshow
A robot powered training repository :robot:
syrup_artifacts
VictorYYW's Repositories
VictorYYW/academic-kickstart
📝 Easily create a beautiful website using Academic, Hugo, and Netlify
VictorYYW/academic-website
VictorYYW/BurstArtifactEvaluation
Artifact Evaluation for Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution
VictorYYW/choice
Choice operator in OCaml, providing a backtracking monad
VictorYYW/example-telnet-expect
VictorYYW/github-slideshow
A robot powered training repository :robot:
VictorYYW/hello-world
all fresh to me
VictorYYW/Infix-Calculator
VictorYYW/jdk
Mirror of https://hg.openjdk.java.net/jdk/jdk containing Checker Framework annotations
VictorYYW/plfa.github.io
Introduction to programming language theory in Agda
VictorYYW/syrup_artifacts
VictorYYW/learn-linux
VictorYYW/merge-conflict
VictorYYW/nano-emacs
my personal fork of nano-emacs
VictorYYW/regel-cli-wrapper
VictorYYW/resume
VictorYYW/smyth
Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
VictorYYW/tikzmark
The dread tikzmark arrives on github
VictorYYW/ui-for-pl
User Interfaces for Programming Languages: The Compendium
VictorYYW/VE441_salinity_map
VE441 MDE Project @SJTU
VictorYYW/zoteroRemarkable
A script/utility to keep a zotero collection and remarkable file in sync