Annette Bieniusa's repositories
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.
Language:PythonNOASSERTION000
disel
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
Language:CoqBSD-2-Clause000
poolboy
A hunky Erlang worker pool factory
Language:ErlangApache-2.0000
rebar3_protobuffs_plugin
Rebar3 Protobuffs compiler plugin
riak_core
Distributed systems infrastructure used by Riak.
Language:ErlangApache-2.0000
riak_ensemble
Multi-Paxos framework in Erlang
Language:ErlangApache-2.0000
TUKLjudge
TUKLjudge, a fork of the TUMjudge programming contest jury system, a fork of DOMjudge.
Language:PHPNOASSERTION000
women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research
000