rvarago
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.comBarcelona
Pinned Repositories
absent
A small C++17 library meant to simplify the composition of nullable types in a generic, type-safe, and declarative way.
cpppid
A composable library to implement contol loops in C++
haz-rs
A thin abstraction over polymorphic environments
kitten
A small C++17 library inspired by Category Theory.
lifterr
A small set of adapters extending Rust's error-handling capabilities
mini-balancer
A toy and mini load balancer
modern-cmake-template
CMake template for an example project composed of executable and library
playground
Collection of random toy programs
renv
My computing environment, I'd rather not use it (at least not as-is)
tokio-util-codec-compose
Building blocks for composing tokio-util codecs
rvarago's Repositories
rvarago/absent
A small C++17 library meant to simplify the composition of nullable types in a generic, type-safe, and declarative way.
rvarago/kitten
A small C++17 library inspired by Category Theory.
rvarago/renv
My computing environment, I'd rather not use it (at least not as-is)
rvarago/haz-rs
A thin abstraction over polymorphic environments
rvarago/lifterr
A small set of adapters extending Rust's error-handling capabilities
rvarago/rust-playground
My playground for throw-away, not necessarily useful, Rust programs
rvarago/rvarago.github.io
Hi there, welcome to my blog!
rvarago/elm-playground
My playground for throw-away Elm programs
rvarago/haskell-playground
My playground for throw-away, not necessarily useful, Haskell programs
rvarago/tokio-util-codec-compose
Building blocks for composing tokio-util codecs
rvarago/toy-storage-rs
A toy storage implemented in Rust purely for learning
rvarago/bfs-rs
A toy FUSE filesystem view over a cloud-hosted storage bucket
rvarago/playground
Collection of random toy programs
rvarago/coq-playground
My playground for throw-away Coq p, where forall p. p ~ programs ^ p ~ proofs
rvarago/disbursements-scala
A toy example of a backend app written in Scala
rvarago/doom-emacs
An Emacs framework for the stubborn martian hacker
rvarago/fastsar-rs
A small program to switch between AWS Roles quickly using fuzzy matching
rvarago/flix
The Flix Programming Language
rvarago/go-fuse
FUSE bindings for Go
rvarago/lsp-mode
Emacs client/library for the Language Server Protocol
rvarago/metals
Scala language server with rich IDE features 🚀
rvarago/nixpkgs
Nix Packages collection
rvarago/northstar
Embedded container runtime
rvarago/octocrab
A modern, extensible GitHub API Client for Rust.
rvarago/ruby
The Ruby Programming Language [mirror]
rvarago/rust-analyzer
A Rust compiler front-end for IDEs
rvarago/rusti-cal
⚡️ Lightning-fast and minimal calendar command line. Written in Rust 🦀
rvarago/scala-playground
My playground for throw-away, not necessarily useful, Scala programs
rvarago/toml-reader
Haskell library for parsing v1.0 TOML files
rvarago/toml2json
A very small CLI for converting TOML to JSON