https://domin144.pl/ 2026-04-19T03:21:25+00:00 https://domin144.pl/ https://domin144.pl/_media/wiki:dokuwiki.svg text/html 2021-12-06T16:31:11+00:00 Anonymous (anonymous@undisclosed.example.com) https://domin144.pl/projects:formal_av-1?rev=1638808271&do=diff Formal AV-1 This is home for my new project to formalize AV1 video codec specification in Coq. Here is a github repository: <https://github.com/domin144/formal_av1>. text/html 2021-12-06T16:26:32+00:00 Anonymous (anonymous@undisclosed.example.com) https://domin144.pl/projects:yuvtool?rev=1638807992&do=diff YUVtool This is never finished project with aim to create a yuv viewer, comparator and editor. We started the project with my friend Remigiusz Wilmont, but we were not able(willing?) to put sufficient effort to make it work. The current, non-functional version of the source code is available from github: