Rodrigo Vidal · Open source MMXXVI

Rodrigo Vidal.

About

Engineer, Founder of Authaz.io, former Microsoft MVP for F# and .NET, writing functional code since 2009. I care about type systems, high performance, and formal verification — and the small libraries that result when those three things are taken seriously. Based in Rio de Janeiro, open to collaboration on hard correctness or performance work.

§ I — The Forge

Forged from the same fire.

A four-piece set. One framework, one validator, one set of expressions, one collection engine. Each one is the smallest thing that earns its name.

§ II — Companions

Also forged here.

Different shapes, same workshop. Tools I needed and could not find, written down and made public.