~gdanix

Software engineering & formal methods in computer science.

Functional programming and maths ethusiast.

Currently in ♥ with Haskell & Japan.

日本語をべんきょうしていました。^_^

Current email (will change in the future): dtviedma@gmail.com

~gdanix/InfiniTime

Customized fork of InfiniTime

~gdanix/marlin_gcode_info_bot

A Telegram bot to get details of Marlin firmware GCodes

~gdanix/juanita-marlin

Marlin configured for my 3D Printer Juanita

~gdanix/FormalMethodsMasterThesis

My Formal Methods in Computer Science Master thesis about verification of dynamic programming algorithms

~gdanix/Christmas_tree_decoration_controller

A system for publicly controlling my christmas tree's decoration

~gdanix/InfiniRes

A tool to upload files to your PineTime through the BLEFS API

~gdanix/Things_3D

Source code of the 3D things I make

~gdanix/InfiniSim

My fork of InfiniSim to work with my customized InfiniTime

~gdanix/DATCOM-Thesis

Data Science Master's thesis about the parallelized version of RIPPER

~gdanix/Rippa

A Scala/Spark implementation of RIPPER algorithm.

~gdanix/telegram-bot-simple

Easy to use library for building Telegram bots in Haskell.

~gdanix/University_Helsinki_Haskell_MOOC_solutions

My solutions for the Haskell MOOC from the University of Helsinki (https://haskell.mooc.fi)

1 / 3