Yiyun Liu yiyunliu · he/him
0 followers · 0 following
Repositories
16
 Projects Packages Public activity Starred repositories
Filter
Sort
cek-machine-in-sml
Standard ML 0 0
Updated 2026-03-27 04:01:55 +00:00
pybrew
F# 0 0
Updated 2026-03-20 18:54:09 +00:00
cat-calorie
Python 0 0
Updated 2026-03-16 01:32:10 +00:00
fontconfig
0 0
Updated 2026-03-04 23:09:32 +00:00
info-page
Coq 0 0
Updated 2026-02-02 22:34:06 +00:00
simple-x86-compiler
Racket 0 0
Updated 2026-01-09 21:18:55 +00:00
dcoi-omega
Coq 0 0
Rocq Mechanization of the paper "Consistency of a Dependent Calculus of Indistinguishability"
Updated 2025-12-08 03:01:11 +00:00
sp-eta-postpone
Coq 0 0
Decidability proof of type conversion with surjective pairing
Updated 2025-12-07 04:36:58 +00:00
core-in-racket
Racket 0 0
Updated 2025-11-14 01:21:09 +00:00
pfds-ocaml
OCaml 0 0
Updated 2025-11-11 21:51:54 +00:00
pi-treesitter
JavaScript 0 0
Updated 2025-11-06 04:06:08 +00:00
debruijn-from-scratch
Coq 0 0
Updated 2025-08-02 23:23:59 +00:00
floating-levels
Coq 0 0
Updated 2025-05-30 22:09:40 +00:00
nbe-kripke-racket
Racket 0 0
Updated 2025-05-30 20:44:04 +00:00
eta-expand-confluence
Coq 0 0
A confluence proof of pure untyped lambda calculus with function eta expansion
Updated 2025-04-14 01:46:26 +00:00