StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

ahelwer

Rating
1500.39 (456,593rd) 		Reputation
287 (417,932nd)
Page: 1
Title Δ
Expressing a "random" behaviour (external API) in TLA+ +4.00
Unable to encode precedence of block rule over statement rule in tr... 0.00
How to use TLA+ to define sequential actions? -4.08
How do I use the node-tree-sitter module from typescript? 0.00
Resolving goals containing existential quantifiers 0.00
How do I easily rewrite nat.succ (nat.succ 0) as 2? +0.43
How do I query service principal group membership with the Microsof... 0.00
Managed C++ with .NET Core 2.1 +0.04
Parse error: The level of the expression or operator substituted fo... 0.00
ASP.NET 415 Unsupported Media Type error when HttpRequestMessage Co... 0.00