👨💻
Trying to untangle 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".
- Barcelona
- https://rvarago.github.io
Search results
0 open and 0 closed projects found.-
There aren't any projects yet