yangdinglou

Pinned Repositories

clingo
🤔 A grounder and solver for logic programs.
Language:C++630 35 36484
fun-suslik
Language:Haskell3 4 00
PikaC
Language:TeX0 5 00
calc-slang
A template (on language side) for CS4215 project
Language:TypeScript0 1 04
CS4215-frontend
A template (on frontend side) for CS4215 project
Language:TypeScript0 1 012
CS6218
Learning from positive-only examples
Language:Python0 1 00
DryadSynth
Language:C++0 0 00
Lightweight-Resugaring-using-PLT-Redex
Language:TeX0 3 00
Range-Analysis
2018春编译课程project
Language:C++0 0 00
Rkt2Cpp
A Transcompiler from Racket to C++
Language:Racket0 0 00

yangdinglou's Repositories

yangdinglou/calc-slang
A template (on language side) for CS4215 project
Language:TypeScript0 1 04
yangdinglou/CS4215-frontend
A template (on frontend side) for CS4215 project
Language:TypeScript0 1 012
yangdinglou/CS6218
Learning from positive-only examples
Language:Python0 1 00
yangdinglou/DryadSynth
Language:C++0 0 00
yangdinglou/Lightweight-Resugaring-using-PLT-Redex
Language:TeX0 3 00
yangdinglou/Range-Analysis
2018春编译课程project
Language:C++0 0 00
yangdinglou/Rkt2Cpp
A Transcompiler from Racket to C++
Language:Racket0 0 00