My projects

CHMU air data

link

repo

Website collecting data on air pollution in the Czech Republic from available JSON data. Showing history of measurements in graphs.

Proba-tool

repo

Tool for creating correction function to fix measured values of satellite Proba2, based on data analysis. Cooperation with UFA AV ČR and ESA. Abstract.

cs2fs

repo

Tool for transpiling C# code to F#.

Projects I contributed to

Mechanic

repo

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.

Fantomas

repo

F# source formatter.

I work on fixing bugs here.