schaeffm's repositories
rambleed-rs
Basic Rambleed PoC written in Rust
chord-polysemy
Chord implementation in Haskell using Polysemy
rust-chord
Implementation of Chord - A Distributed Hash Table in Rust
mdps-isabelle-hol
Isabelle/HOL formalization of value iteration and policy iteration algorithms on MDPs
coreutils
Unix core utilities implemented in Haskell
Language:HaskellMIT000
focus-android
Firefox Focus: The privacy browser - Browse like no one’s watching.