Projects

Fantomas

Nov 2017 - Present

Contributing to and co-maintaining open source project Fantomas (F# source code formatter)

Proba-tool

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.

AncestorsMap

May 2017 - Jul 2020

Interactive map showing genealogy.

Repository: AncestorsMap

Fantomas Online

Oct 2018 - Apr 2020

web interface for Fantomas code formatter.

Was later integrated as part of Fantomas-tools project

cs2fs

Apr 2017 - Mar 2019

Tool for transpiling C# code to F#.

Mechanic

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.