Pinned Repositories
animal
programming 2014 fall final project
benchmark
TorchBench is a collection of open source benchmarks used to evaluate PyTorch performance.
dissertation-artifacts
The Coq proofs of my dissertation "Iso-Recursive Subtyping: New Theory and Extensions"
ESOP2019-artifact
Distributive Disjoint Polymorphism for Compositional Programming
first-class-trait
Type system for first-class traits
Gradient
Yet another hexo theme.
Iso-Recursive-Subtyping
Revisiting Iso-Recursive Subtyping
juda.github.io
Recursive-Subtyping-for-All
The artifact of the paper "Recursive Subtyping for All"
scheme
Implement a scheme Interpretation
juda's Repositories
juda/Recursive-Subtyping-for-All
The artifact of the paper "Recursive Subtyping for All"
juda/Iso-Recursive-Subtyping
Revisiting Iso-Recursive Subtyping
juda/dissertation-artifacts
The Coq proofs of my dissertation "Iso-Recursive Subtyping: New Theory and Extensions"
juda/scheme
Implement a scheme Interpretation
juda/juda.github.io
juda/animal
programming 2014 fall final project
juda/benchmark
TorchBench is a collection of open source benchmarks used to evaluate PyTorch performance.
juda/ESOP2019-artifact
Distributive Disjoint Polymorphism for Compositional Programming
juda/first-class-trait
Type system for first-class traits
juda/Gradient
Yet another hexo theme.
juda/hexo-theme-edinburgh
Beautiful minimal portfolio theme for Hexo.
juda/hexo-theme-Mic_Theme
hexo theme
juda/hkuplg.github.io
Website of the University of Hong Kong Programming Languages Group
juda/holdem
Texas hold 'em
juda/Kaleidoscope
Implementing a Language with LLVM
juda/metalib
The Penn Locally Nameless Metatheory Library
juda/photos
juda/ProjectEuler
report of PE
juda/ros_comm
ROS communications-related packages, including core client libraries (roscpp, rospy, roslisp) and graph introspection tools (rostopic, rosnode, rosservice, rosparam).
juda/scrapy_dblp
Algorithm 2014 Final Project
juda/SimpleObjects
A simple type system implementing object calculus
juda/ssbackup
backup
juda/SublimeAbella
juda/torchdynamo
A Python-level JIT compiler designed to make unmodified PyTorch programs faster.
juda/tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators