CHMU air data
Website collecting data on air pollution in the Czech Republic from available JSON data. Showing history of measurements in graphs.
Tool for creating correction function to fix measured values of satellite Proba2, based on data analysis. Cooperation with UFA AV ČR and ESA. Abstract.
Tool for transpiling C# code to F#.
Projects I contributed to
F# source files ordering tool using AST analysis to find dependency between files.
Code for finding dependencies from AST and ordering files from dependencies is my work. Short summary here.
F# source formatter.
I work on fixing bugs here.