StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Philippe

Rating
1550.78 (7,712th)

Reputation
7,454 (21,362nd)

Page: 1 2

Title	Δ
Create asynchronous Action in Swift	0.00
How to prove size of a list in Leon?	0.00
String interpolation: f or s	-0.88
how to add a piece of text at the beginning of a line	+3.34
Does Z3 have support for optimization problems	+3.76
Defining Set in z3	0.00
Strange result when I ask Z3 for additional solutions	0.00
Running Scala^Z3 with Scala 2.10	-2.75
How to make a program run at startup?	+3.48
Preprocessing Scala parser Reader input	-2.87
How to yield a single element from for loop in scala?	+3.37
How should Scala default arguments to refer to a previous positiona...	+5.22
How to write function simulating while loop in Scala	+3.63
Use map elements as method arguments	+3.76
Does Scala have a small number of underlying syntactic features?	+4.03
Why is a Range transformed to a Vector after map operation?	+0.56
html5: why not just use span and div exclusively?	-2.65
Querying a propositional model	0.00
How to split a File Source into Strings or Words	+1.77
How to split a File Source into Strings or Words	+1.77
Modular Scala design: how do I avoid a constructor "push-out&q...	+0.02
Play! Scala Template Engine and Sessions	0.00
Scala^Z3: Delete previous assertion	-2.99
Set Logic / Options in Scala^Z3	0.00
Z3 4.0 Z3_parse_smtlib2_string	0.00
In the Scala^Z3 DSL, how is an uninterpreted function declared?	0.00
Traversing a Z3Context using the z3.scala.dsl API	+3.72
Tools for quantifier elimination in linear integer arithmetic	0.00
Can't execute the scala^z3 fibonacci example	0.00
Scala finding elements in big (30MB) xml files	+3.76
Scala while loop returns Unit all the time	-0.95
C API for Quantifiers	0.00
How to regex information between tags?	0.00
Combining two match patterns in one	-3.99
scala node match case	+1.81
Scala: Parse HTML-fragment	-2.98
Scala Streams Performance	0.00
searching a stack for the name that comes first alphabetically	+3.90
Efficiency of recursion vs. iteration for exponents	+4.43
Create a bot that just visits my website	+3.83
Basic type inferral	+1.80
How to find the closest pairs (Hamming Distance) of a string of bin...	+2.12
batch script, put to sleep until certain time	+1.64
Create remote repository from local files that are already on a loc...	-4.32
Graph traversal in Scala	0.00
What kind of international code is used for identifying countries l...	+4.48
Hiding a button in Javascript	+3.80
Body background doesn't work in FireFox	-2.08
Supporting CSS 2 vs CSS 3 for modern & old browsers	+3.95
Exchanging type parameters with abstract types	0.00