Similar repositories to JSuder-xx/dependently-typed-rummikub: