schaeffm

Pinned Repositories

chord-polysemy
Chord implementation in Haskell using Polysemy
Language:Haskell2 1 00
coreutils
Unix core utilities implemented in Haskell
Language:Haskell0 0 00
eidi2-ocaml
Language:Jupyter Notebook1 1 00
focus-android
Firefox Focus: The privacy browser - Browse like no one’s watching.
Language:Java0 1 00
ixy.hs
Language:Haskell0 1 00
liste.party
Language:CSS0 1 00
mdps-isabelle-hol
Isabelle/HOL formalization of value iteration and policy iteration algorithms on MDPs
Language:Standard ML1 1 00
rambleed-rs
Basic Rambleed PoC written in Rust
Language:Rust7 1 02
rust-chord
Implementation of Chord - A Distributed Hash Table in Rust
Language:Rust2 2 00
walomat
Wal-O-Mat 🐋
Language:Python0 1 00

schaeffm's Repositories

schaeffm/rambleed-rs
Basic Rambleed PoC written in Rust
Language:Rust7 1 02
schaeffm/chord-polysemy
Chord implementation in Haskell using Polysemy
Language:Haskell2 1 00
schaeffm/rust-chord
Implementation of Chord - A Distributed Hash Table in Rust
Language:Rust2 2 00
schaeffm/eidi2-ocaml
Language:Jupyter Notebook1 1 00
schaeffm/mdps-isabelle-hol
Isabelle/HOL formalization of value iteration and policy iteration algorithms on MDPs
Language:Standard ML1 1 00
schaeffm/coreutils
Unix core utilities implemented in Haskell
Language:Haskell0 0 00
schaeffm/focus-android
Firefox Focus: The privacy browser - Browse like no one’s watching.
Language:Java0 1 00
schaeffm/ixy.hs
Language:Haskell0 1 00
schaeffm/liste.party
Language:CSS0 1 00
schaeffm/walomat
Wal-O-Mat 🐋
Language:Python0 1 00