rvarago Goto Github PK

absent

A small C++17 library meant to simplify the composition of nullable types in a generic, type-safe, and declarative way.

bfs-rs

A toy FUSE filesystem view over a cloud-hosted storage bucket

conan-center-index

Recipes for the conan-center repository

coq-playground

My playground for throw-away Coq p, where forall p. p ~ programs ^ p ~ proofs

cpppid

A composable library to implement contol loops in C++

disbursements-scala

A toy example of a backend app written in Scala

doom-emacs

An Emacs framework for the stubborn martian hacker

elm-playground

My playground for throw-away Elm programs

etl-example

expression-problem

Solution to the expression problem in different programming languages

fastsar-rs

A small program to switch between AWS Roles quickly using fuzzy matching

flix

The Flix Programming Language

funktions

A small C++17 set of utilities for functional composition.

go-fuse

FUSE bindings for Go

handling-zombie-processes-linux

Example for the Article: Handling Zombie Processes in Linux

haskell-playground

My playground for throw-away, not necessarily useful, Haskell programs

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

lsp-mode

Emacs client/library for the Language Server Protocol

metals

Scala language server with rich IDE features 🚀

mini-balancer

A toy and mini load balancer

modern-cmake-template

CMake template for an example project composed of executable and library

neither

Either and Maybe monads for better error-handling in C++ ↔️

nixpkgs

Nix Packages collection

northstar

Embedded container runtime

octocrab

A modern, extensible GitHub API Client for Rust.

playground

Collection of random toy programs

renv

My computing environment, I'd rather not use it (at least not as-is)

rpncalc

A Simple RPN Calculator