StackRating

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

nobody

Rating
1515.44 (43,745th) 		Reputation
3,407 (49,499th)
Page: 1 2 3
Title Δ
Is there a solution for transpiling Lua labels to ECMAScript3? 0.00
Effective garbage collection in Lua with large userdata 0.00
Can't modify loop-variable in lua -3.24
How to build luasockets 3.0 for lua 5.3 0.00
Why won't __add work? -1.74
lua ffi functions sharing namespace 0.00
love2d - file doesnt exist but it does 0.00
Catch-22 UNIX Shell Zsh 0.00
Not equal succesors in Coq -4.35
ASCII Representation of Hexadecimal +4.48
Concatenating bits -3.99
How can you arbitrarily number subsections in LaTeX2e 0.00
How "self" gets to access the key of a local table? 0.00
Corona SDK Lua: Moving items from one table to another 0.00
Physics Collision Detection in OOP with two iterations of one object 0.00
Segmentation fault on value of function pointer +4.12
How to do this in makefile? 0.00
How Lua handle with table in memory +0.15
How to prove the mutual equivalence of peirce, classic, excluded_mi... 0.00
In trepl or luajit, how can I find the source code of a library I&#... 0.00
How do I save directory information from os.execute("dir"... 0.00
Copy/Pasting DOCTYPE Tag Into Vi Document 0.00
Should I always use GAWK over AWK? +4.11
Extract R^2 (R-squared) value for each regression grouped by a factor -2.92
Context Free Grammar Parse Tree 0.00
Coq convert non exist to forall statement 0.00
How to define equality for Category instances? 0.00
Decoupling the data to be manipulated from the proofs that the mani... 0.00
How to solve goals with invalid type equalities in Coq? -2.97
apply argument to equal functions in Coq -0.05
libgomp missing: install c++ compiler in home directory? -0.24
Editing sudoers in OS X (10.7) +3.91
how to name the assumption when remembering an expression? 0.00
Macports Selfupdate -3.35
Proofs on strings in coq 0.00
Is it theoretically possible to design a provably unhackable hardwa... -3.92
induction hypothesis for even numbers 0.00
Can I extract Positive, Nat to int32, Z to int? 0.00
How do I reason about conditionals in Coq? 0.00
Getting vim to recognize XML -4.14
Good compression algorithm for small chunks of data? (around 2k in... +1.23
Controlling exportation of constructors in code extracted from Coq 0.00
How to get a list of paths in /etc/ld.so.conf on Linux -4.33
Dynamic memory allocation for a triangular 2-D Array -2.01
Decision tree with recursive sort algorithm -0.20
Determining standard file locations under Linux +4.44
Removing no such file command from OSX terminal startup +3.75
How to handle errors when resuming a Lua thread (coroutine) +3.91
Boolean Logic: How can I simplify this IF statement? 0.00
How to bind an event to Tabbing Off an element? -2.28