StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

wmeyer

Rating
1536.87 (13,473rd)

Reputation
3,003 (56,307th)

Page: 1 2

Title	Δ
How to model a bi-directional relationship and make it mandatory?	+3.99
Sum of nested values in Alloy	0.00
Declaring labels after function	0.00
Unexpected Instance found for Alloy specification	0.00
What am I missing here? (Confusion over witness labels)	0.00
How to map constraint-centric Alloy models to programming language...	0.00
Socrates is mortal	-4.17
Is there a way I can exit proc or function in mozart oz	0.00
Confused about the implication operator in assertions	0.00
Ordering in Alloy using util/ordering	-0.39
Mozart/Oz: how to make record with Record.make	0.00
Expected 'end' in case statement	0.00
Python 2.7 - How to assign a Class attribute (pointer?) to a variab...	-0.28
Alloy signatures not shown in Alloy Analyzer 4.2	+3.59
consistency check with contradictory facts in Alloy	0.00
Multiplicity constraints for 4-ary relations and more in Alloy	0.00
Using "If statement" - OZ	0.00
Mozart/Oz : convert string to feature	0.00
Return true if an element in a list is true Oz	+3.65
include vs exclude relations - can't model former _properly_	-0.35
Mozart Function parse error	0.00
Mozart Oz function that returns nothing but executes several instru...	0.00
Range restriction of n-ary relation in Alloy	-0.57
type error in Alloy	0.00
Why doesn't "for X in E1..E2;E3 do" work in Oz?	0.00
How do I use loops in Oz?	0.00
Why can't I get functional methods to work?	0.00
Number of digits	-0.49
for loop in mozart/oz doesn't work	0.00
Determining if OZ variable is bound?	0.00
Dynamically evaluating code (like eval())	0.00
Alloy - Get empty set when removing object	0.00
Signing an F# Assembly (Strong name component)	-4.84
Argument error in my "For" loop code (Oz/Mozart)	0.00
Why curly braces in procedure call in Oz language?	0.00
How does these Pascal Triangle functions work?	0.00
Self-reference in F# sequence expression	+2.38
Passing a list as positional arguments to a function like Python in...	-2.95
Using F# discriminated union alternative as parameter type	+3.81
How to write a simple higher order function in mozart oz?	0.00
Bring graphics to front F#	-3.57
How to generalize f# option?	-1.64
f# class constructor formatting	+5.66
Generic type constraints and duck typing	-1.48
Why does value restriction happen with MergeSort function?	0.00
applying non procedure and non object error	0.00
Can the F# type system do this?	0.00
Is there a way to store function/procedure calls in Oz?	0.00
How can I convert record to string in Mozart OZ	0.00
Ports and Cells in Oz	0.00