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.
Language:C++40 4 28
cpppid
A composable library to implement contol loops in C++
Language:C++2 2 20
haz-rs
A thin abstraction over polymorphic environments
Language:Rust4 2 00
kitten
A small C++17 library inspired by Category Theory.
Language:C++16 2 11
lifterr
A small set of adapters extending Rust's error-handling capabilities
Language:Rust3 2 00
mini-balancer
A toy and mini load balancer
Language:Rust2 2 00
modern-cmake-template
CMake template for an example project composed of executable and library
Language:CMake65 8 28
playground
Collection of random toy programs
Language:Haskell0 2 00
renv
My computing environment, I'd rather not use it.
Language:Emacs Lisp5 2 00
tokio-util-codec-compose
Building blocks for composing tokio-util codecs
Language:Rust2 2 01

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.
Language:C++40 4 28
rvarago/kitten
A small C++17 library inspired by Category Theory.
Language:C++16 2 11
rvarago/renv
My computing environment, I'd rather not use it.
Language:Emacs Lisp5 2 00
rvarago/lifterr
A small set of adapters extending Rust's error-handling capabilities
Language:Rust3 2 00
rvarago/rust-playground
My playground for throw-away, not necessarily useful, Rust programs
Language:Rust2 2 0
rvarago/rvarago.github.io
Hi there, welcome to my blog!
Language:HTML2 0 00
rvarago/rvarago.github.io_old
Hi there, welcome to my blog!
Language:HTML2 1 0
rvarago/tokio-util-codec-compose
Building blocks for composing tokio-util codecs
Language:Rust2 2 01
rvarago/elm-playground
My playground for throw-away Elm programs
Language:Elm1 2 0
rvarago/haskell-playground
My playground for throw-away, not necessarily useful, Haskell programs
Language:Haskell1 2 00
rvarago/bfs-rs
A toy FUSE filesystem view over a cloud-hosted storage bucket
Language:Rust0 2 00
rvarago/playground
Collection of random toy programs
Language:Haskell0 2 00
rvarago/coq-playground
My playground for throw-away Coq p, where forall p. p ~ programs ^ p ~ proofs
Language:Coq2 0
rvarago/cpp_optional_extras
*EXPERIMENTAL* A handful of C++ utilities I wish std::optional<T> had
Language:C++
rvarago/cpp_refined
*EXPERIMENTAL* Types + Predicates in C++, sort-of
Language:C++
rvarago/disbursements-scala
A toy example of a backend app written in Scala
Language:Scala2 0
rvarago/doom-emacs
An Emacs framework for the stubborn martian hacker
Language:Emacs Lisp1 0
rvarago/fastsar-rs
A small program to switch between AWS Roles quickly using fuzzy matching
Language:Rust1 0
rvarago/fizzbuzzsting
We take an indepth look at fizzbuzz and different implementations
Language:C++0 0
rvarago/go-fuse
FUSE bindings for Go
Language:Go1 0
rvarago/lsp-mode
Emacs client/library for the Language Server Protocol
Language:Emacs Lisp1 0
rvarago/metals
Scala language server with rich IDE features 🚀
Language:Scala1 0
rvarago/nixpkgs
Nix Packages collection
Language:Nix1 0
rvarago/octocrab
A modern, extensible GitHub API Client for Rust.
Language:Rust1 0
rvarago/primeiros_passos_com_emacs_lisp
Uma breve introdução às LISPs com Emacs
rvarago/ruby
The Ruby Programming Language [mirror]
Language:Ruby1 0
rvarago/rust-analyzer
A Rust compiler front-end for IDEs
Language:Rust1 0
rvarago/scala-playground
My playground for throw-away, not necessarily useful, Scala programs
Language:Scala2 0
rvarago/toml-reader
Haskell library for parsing v1.0 TOML files
Language:Haskell1 0
rvarago/toml2json
A very small CLI for converting TOML to JSON
Language:Rust1 0