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: 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.