I am a computer scientist and software engineer with background in formal semantics, program verification and compilers. I am also interested in cryptocurrencies and blockchain technologies. (You can read my full bio here.)
I set up this page because I would love to devote more of my time to open-source development. Basically work on things that I find relevant, as well as made them available for others to use, study, scrutinize, extend or simply get inspired. For the benefit of all.
If you appreciate or sympathize with my effort and work, please consider becoming a supporter. This is the best way to help me carry on new ideas, projects updates and bug fixes in a timely manner.
My own implementation of an ERC20 extension that allows for a variable supply backed by ETH with decentralized custody. Serves as a basis for implementing 1:1 parity tokens like the BRLT.
Select a tier
$10 a monthSelect
Your name will be featured as Bronze Supporter of my projects.
$25 a monthSelect
Your name will be featured as Silver Supporter of my projects.
$50 a monthSelect
Your name will be featured as Gold Supporter of my projects.
$100 a monthSelect
Limited (10 remaining)
Your name, logo and link will be featured as Bronze Sponsor of my projects.
$250 a monthSelect
Limited (4 remaining)
Your name, logo and link will be featured as Silver Sponsor of my projects.
$500 a monthSelect
Limited (2 remaining)
Your name, logo and link will be featured as Gold Sponsor of my projects.