Portfolio

Fantomas Online web interface for Fantomas code formatter. https://gitlab.com/jindraivanek/fantomas-ui Was later integrated as part of Fantomas-tools project: https://fsprojects.github.io/fantomas-...

AST viewer show AST for F# source code. https://gitlab.com/jindraivanek/ast-viewer Was later integrated as part of Fantomas-tools project: https://fsprojects.github.io/fantomas-tools/#/ast

Cs2Fs Online https://gitlab.com/jindraivanek/cs2fs-online https://jindraivanek.gitlab.io/cs2fs-online/#?code=Q

Mechanic Automatic ordering of F# source files. https://github.com/fsprojects/Mechanic

Configurable JSON formatter. https://github.com/jindraivanek/jsonfmt-fparsec

Procházka po F# AST stromu & projekt Mechanic (Walk on F# AST tree & project Mechanic) https://www.meetup.com/FSharping/events/248433576/

Released AncestorsMap project Interactive map showing genealogy. https://github.com/jindraivanek/AncestorsMap https://jindraivanek.github.io/AncestorsMap/

TPMU - PROBA II microsatellite measurement - data recalibration using polynomial regressions via Vandermonde matrix https://jindraivanek.gitlab.io/img/Proba/EGU%202017-TPMU-print_version.pdf https:...

My F# space adventure Correcting bug in satellite PROBA-2 https://jindraivanek.gitlab.io/blog/2018-12-26-proba

https://github.com/fsprojects/fantomas

Cs2Fs: C# -> F# transpiler https://github.com/jindraivanek/cs2fs

My Master Thesis "Algorithmic problems related to the intersection graphs" was awarded Honourable Mention on "Student Research and Professional Work" (SVOČ) competition. http://conferences.math.slu...

Faculty of Mathematics and Physics, Charles University, Prague Study programme: Informatics Branch of study: Discrete Models and Algorithms Master thesis: Algorithmic problems related to the inters...

Faculty of Mathematics and Physics, Charles University, Prague Study programme: Computer Science Branch of study: General Computer Science Bachelor thesis: Heuristic-driven methods finding optimum ...