-
TU Kaiserslautern
- Kaiserslautern
- https://softech.cs.uni-kl.de/homepage/de/staff/AnnetteBieniusa/
-
disel Public
Forked from DistributedComponents/diselDistributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
Coq BSD 2-Clause "Simplified" License UpdatedDec 16, 2022 -
CSrankings Public
Forked from emeryberger/CSrankingsA 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.
Python Other UpdatedNov 28, 2022 -
-
-
TUKLjudge Public
Forked from ICPC-TUM/TUMjudgeTUKLjudge, a fork of the TUMjudge programming contest jury system, a fork of DOMjudge.
PHP Other UpdatedApr 17, 2018 -
women-in-programming-languages-research Public
Forked from jeanqasaur/women-in-programming-languages-researchWomen in Programming Languages and Software Engineering Research
1 UpdatedFeb 9, 2018 -
riak_ensemble Public
Forked from Kyorai/riak_ensembleMulti-Paxos framework in Erlang
Erlang Apache License 2.0 UpdatedFeb 6, 2018 -
riak_core Public
Forked from Kyorai/riak_coreDistributed systems infrastructure used by Riak.
Erlang Apache License 2.0 UpdatedFeb 5, 2018 -
poolboy Public
Forked from Kyorai/poolboyA hunky Erlang worker pool factory
Erlang Apache License 2.0 UpdatedFeb 5, 2018 -
erocksdb Public
Forked from leo-project/erocksdbErlang bindings to RocksDB datastore
C++ UpdatedSep 12, 2017 -
rebar3_protobuffs_plugin Public
Forked from cmkarlsson/rebar3_protobuffs_pluginRebar3 Protobuffs compiler plugin
Erlang MIT License UpdatedMar 5, 2016 -