Nov 2017 - Present
Contributing to and co-maintaining open source project Fantomas (F# source code formatter)
Mar 2017 - Nov 2018
Tool for creating correction function to fix measured values of satellite Proba2, based on data analysis. Cooperation with UFA AV ČR and ESA. Abstract.
Details in blog entry.
May 2017 - Jul 2020
Interactive map showing genealogy.
Oct 2018 - Apr 2020
web interface for Fantomas code formatter.
Was later integrated as part of Fantomas-tools project
Apr 2017 - Mar 2019
Tool for transpiling C# code to F#.
Jan 2018 - Apr 2018
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.