andreyyao

Pinned Repositories

andreyyao.github.io
Language:Astro00
bril
an educational compiler intermediate representation
Language:Rust00
Brilliant
Compiler for the BRIL language at CS 6120, Cornell
Language:OCaml00
cs6120
advanced compilers
Language:HTML00
CS703
Course project for CS703 FA23
Language:Jupyter Notebook00
DBLean4
Formalization of databases theory in Lean4 for CS784 at UW Madison
Language:Lean00
Emacs
Language:Emacs Lisp00
HoTT
Homotopy type theory
Language:Coq00
HoTT-reading
Homotopy Type Theory Reading Group
Language:TeX00
llvm-experiment
Trying out llvm
Language:C00

andreyyao's Repositories

andreyyao/andreyyao.github.io
Language:Astro00
andreyyao/bril
an educational compiler intermediate representation
Language:Rust00
andreyyao/Brilliant
Compiler for the BRIL language at CS 6120, Cornell
Language:OCaml00
andreyyao/cs6120
advanced compilers
Language:HTML00
andreyyao/CS703
Course project for CS703 FA23
Language:Jupyter Notebook00
andreyyao/DBLean4
Formalization of databases theory in Lean4 for CS784 at UW Madison
Language:Lean00
andreyyao/Emacs
Language:Emacs Lisp00
andreyyao/HoTT
Homotopy type theory
Language:Coq00
andreyyao/HoTT-reading
Homotopy Type Theory Reading Group
Language:TeX00
andreyyao/llvm-experiment
Trying out llvm
Language:C00
andreyyao/mechanized-logical-relations
This repo contains proofs for the logical relations mini course written in the Coq proof assistant
Language:Coq
andreyyao/Nautomata
Nominal automata
Language:Haskell
andreyyao/pi-forall
A demo implementation of a simple dependently-typed language
andreyyao/polylamb
A typed-preserving compiler from System F to Typed RISC-V assembly
Language:Rust
andreyyao/synthia
Program synthesis goes brrrrrr
Language:Python
andreyyao/website-archive-2
A beautiful, simple, clean, and responsive Jekyll theme for academics
Language:HTML
andreyyao/website_archive
Personal Website
Language:JavaScript