Yichen Xu's repositories
cdot-calculus
Soundness proof for OOPSLA 2022 paper A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning.
agda-katas
Learning Agda by solving katas
haskell-katas
Codewars Katas solved in Haskell
agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:HaskellNOASSERTION000
Language:Lean000
cs-552-modern-nlp
Repository for EPFL's CS-552: Modern NLP class
Language:Jupyter Notebook000
extended-pdot-calculus
pDOT calculus extended with inversion rules.
free-mona.de
https://free-mona.de
Language:StylusApache-2.0000
github-readme-stats
:zap: Dynamically generated stats for your github readmes
KDTree-Formalization
Formalization of k-d tree using Stainless.
Language:Scala000
natural_number_game
Building the natural numbers in Lean.
Apache-2.0000
pl-deadlines
:alarm_clock: AI conference deadline countdowns
Language:JavaScriptMIT000
spacemacs.d
My spacemacs.d.
yacc.lean4
Yet another formalisation of capture calculi
Language:Lean000