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: https://jindraivanek.hashnode.dev/my-fsharp-space-adventure

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.