rvarago/rustollens rvarago/rustollens

  • Stars
    star
    2
  • Language
    Rust
  • Created about 4 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rvarago/rustollens
github

rvarago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A small and experimental Rust library with a type-level representation of booleans with companion connectives for compile-time sort-of fun

More Repositories

1

modern-cmake-template

CMake template for an example project composed of executable and library
CMake
54
star
2

absent

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

kitten

A small C++17 library inspired by Category Theory.
C++
16
star
4

renv

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

lifterr

A small set of adapters extending Rust's error-handling capabilities
Rust
3
star
6

haz-rs

A thin abstraction over polymorphic environments
Rust
3
star
7

mini-balancer

A toy and mini load balancer
Rust
2
star
8

cpppid

A composable library to implement contol loops in C++
C++
2
star
9

rust-playground

My playground for throw-away, not necessarily useful, Rust programs
Rust
2
star
10

rvarago.github.io

Hi there, welcome to my blog!
HTML
2
star
11

elm-playground

My playground for throw-away Elm programs
Elm
1
star
12

funktions

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

toy-scheme

A toy implementation of (a subset of) Scheme
Haskell
1
star
14

vtiny_scheduler

A really really tiny task scheduler designed for low resources environments
C
1
star
15

toy-storage-rs

A toy storage implemented in Rust purely for learning
Rust
1
star
16

haskell-playground

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

tokio-util-codec-compose

Building blocks for composing tokio-util codecs
Rust
1
star