👨💻
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
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.