An open API service indexing awesome lists of open source software.

Projects in Awesome Lists by yiyunliu

A curated list of projects in awesome lists by yiyunliu .

https://github.com/yiyunliu/ltac2-tutorial

A simple Ltac2 tutorial that covers the very basics.

coq ltac2 tutorial

Last synced: 10 Feb 2025

https://github.com/yiyunliu/mltt-consistency

Logical relation for predicative CC omega with booleans and an intensional identity type

coq coq-formalization dependent-type-theory dependent-types logical-relation

Last synced: 10 Feb 2025

https://github.com/yiyunliu/takahashi-factorization

A proof of factorization using Takahashi's method

coq-formalization lambda-calculus

Last synced: 11 Apr 2025

https://github.com/yiyunliu/tposr

Autosubst 2 reimplementation of the paper "Pure Type System conversion is always typable"

Last synced: 11 Apr 2025

https://github.com/yiyunliu/system-f-omega

Strong normalization and parametricity for System Fω in Coq

coq denotational-semantics impredicative-types lambda-calculus polymorphic-types type-theory

Last synced: 10 Feb 2025

https://github.com/yiyunliu/rscripts

quick and dirty scripts written for a specific data analysis task

Last synced: 11 Apr 2025

https://github.com/yiyunliu/system-f-wn

Weak normalization for System F with autosubst 2

Last synced: 11 Apr 2025

https://github.com/yiyunliu/hwskeleton

Last synced: 11 Apr 2025

https://github.com/yiyunliu/autosubst-stlc

Type soundness of STLC with autosubst and coqhammer

Last synced: 11 Apr 2025

https://github.com/yiyunliu/mathcomp-playground

Playing around with ssreflect and the mathcomp library

Last synced: 11 Apr 2025

https://github.com/yiyunliu/onscripter-jh

.nix for onscripter-jh

Last synced: 11 Apr 2025

https://github.com/yiyunliu/symcc-env

Last synced: 11 Apr 2025

https://github.com/yiyunliu/sp-eta-postpone

Mirror of my proof of eta (contraction) postponement for terms that strongly normalizes w.r.t beta

Last synced: 29 Mar 2025

https://github.com/yiyunliu/pair-eta

Last synced: 04 Apr 2025

https://github.com/yiyunliu/ghc-tcm-test

Experimenting ways to manually add bindings to TcM

Last synced: 11 Apr 2025

https://github.com/yiyunliu/stlc-sn

Last synced: 11 Apr 2025