bieniusa
Researcher and lecturer at the Software Group at TU Kaiserslautern
TU KaiserslauternKaiserslautern
Pinned Repositories
antidote
A planet scale, highly available, transactional database built on CRDT technology
antidote_crdt
CRDT implementations to use with Antidote
antidote-haskell-client
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
dike
disel
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
erocksdb
Erlang bindings to RocksDB datastore
poolboy
A hunky Erlang worker pool factory
python_playground
SwiftCloud
bieniusa's Repositories
bieniusa/antidote-haskell-client
bieniusa/dike
bieniusa/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
bieniusa/disel
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
bieniusa/erocksdb
Erlang bindings to RocksDB datastore
bieniusa/poolboy
A hunky Erlang worker pool factory
bieniusa/python_playground
bieniusa/rebar3_protobuffs_plugin
Rebar3 Protobuffs compiler plugin
bieniusa/riak_core
Distributed systems infrastructure used by Riak.
bieniusa/riak_ensemble
Multi-Paxos framework in Erlang
bieniusa/TUKLjudge
TUKLjudge, a fork of the TUMjudge programming contest jury system, a fork of DOMjudge.
bieniusa/women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research