👨💻
I enjoy separating algebras from their interpretations.
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".
-
https://adevinta.com
- Barcelona
- https://rvarago.github.io
Block or Report
Block or report rvarago
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
tokio-util-codec-compose
tokio-util-codec-compose PublicBuilding blocks for composing tokio-util codecs
Rust 1
-
modern-cmake-template
modern-cmake-template Public templateCMake template for an example project composed of executable and library
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.