Alex Gryzlov
clayrat
Logic, languages and systems
liquidhaskell
Liquid Types For Haskell
HaskellUpdated 6/20/2025
agdarsec-cm
Agdarsec in CuTT
AgdaUpdated 6/19/2025
liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
HaskellUpdated 6/10/2025
unification-cm
unification algorithms in CuTT
AgdaUpdated 6/10/2025
dialogue-cm
Dialogue semantics
AgdaUpdated 5/27/2025