György Kurucz's Blog Posts rss

July 31, 2024 Porting Lean to the ESP32-C3 RISC-V microcontroller
November 12, 2023 A formally verified R-tree implementation
June 18, 2023 Theorem proving in Coq
October 20, 2022 Introduction to dependent types and the Curry-Howard isomorphism
March 12, 2022 My first impressions with OCaml

About Me

My name is György Kurucz. I am interested in anything Science and Technology, though I mostly do Software Engineering.

I like contributing to open source software, and I open source most of my own projects as well. You can find them on my GitHub.

The articles I have written on this blog so far are mostly about functional programming since that’s what I am exploring currently in my free time, though I hope to have some more diverse topics as well in the future.

You can email me at me@kuruczgy.com, or find me on LinkedIn.