Pinned Repositories
gossip_protocol_expectation
Calculating the reachable states and the expected duration for some gossip protocols
hunspell
High-Performance Stemmer, Tokenizer, and Spell Checker for R
texmaker-3.3.3
A repo to fix some of Texmakers Bugs
HangMan
HangMan! Its in the name.
medminersolr
Jannis17's Repositories
Jannis17/gossip_protocol_expectation
Calculating the reachable states and the expected duration for some gossip protocols
Jannis17/hunspell
High-Performance Stemmer, Tokenizer, and Spell Checker for R
Jannis17/texmaker-3.3.3
A repo to fix some of Texmakers Bugs