We are currently working on new rules for what content should and shouldn't be allowed on this website, and are looking for feedback! See Esolang:2026 topicality proposal to view and give feedback on the current draft.
User:Bor0
Jump to navigation
Jump to search
Hi. My name is Boro Sitnikovski. I have a Master’s degree in Informatics and work professionally as a Software Engineer.
I created the Budge programming language. I also published several books:
- Introducing Software Verification with Dafny Language
- Gentle Introduction to Dependent Types with Idris
- Introducing Blockchain with Lisp
You can check out my blog at https://refl.blog. You can also find me on the following social networks: