Rafael Varago

icon indicating a website link https://rvarago.github.io icon indicating an email [email protected]

icon company https://adevinta.com icon location Barcelona icon location Into Rust, Haskell, Scala, C++, Go, OCaml, LISPs, Idris, Koka, Coq, Linux, FP, Systems Programming, IoT, Tooling, Cloud, PLT, Math, and "an open set of things".

Results 3 repositories owned by Rafael Varago

absent

39
Stars
8
Forks
Watchers

A small C++17 library meant to simplify the composition of nullable types in a generic, type-safe, and declarative way.

verified publisher icon rvarago

modern-cmake-template

53
Stars
7
Forks
Watchers

CMake template for an example project composed of executable and library

verified publisher icon rvarago

kitten

16
Stars
1
Forks
Watchers

A small C++17 library inspired by Category Theory.

verified publisher icon rvarago