StackRating

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

Pascal Cuoq

Rating
1688.84 (203rd) 		Reputation
67,924 (1,290th)
Page: 1 ... 21 22 23
Title Δ
What's a good multi-core 64-bit "Hello World" program? -1.79
Any alternatives to the .Net 4 Code Contracts static analyser? 0.00
What's the most widely-used open source project that uses design by... 0.00
emacs why do I have hashes at the ends of my file names i.e. #test.c# +3.64
how to turn a DVI to tex? +1.67
Instantiate array in F#? -3.47
Is there an efficient index persistent data structure with multiple... +3.86
Initialize Array to Blank custom type OCAML +0.17
Efficiency of C vs Assembler +1.59
How to determine which code in a project/solution is the most often... +3.31
What does ^L in (Emacs Lisp) source code mean? +3.81
Did OCaml get any Serious Promotion last few Years? +4.42
Object code, linking time in C language -1.60
Appending an integer to a List in Ocaml +2.04
Why are most of the biggest open source projects in C? -1.51
What algorithm would you use to solve a very large tic-tac-toe game? +2.72
How do I extract a bit in a more optimal way? +3.85
How to capture Control+D signal? +4.00
CRC32 Collision -1.94
Tail-recursion optimization in Oz 0.00
Cumulative Hashes +4.21
Tentative definitions in C99 and linking +0.28
Is this implementation of Bucket-Sort considered "in-place&quo... -1.90
Is a bit field any more efficient (computationally) than masking bi... +4.33
"Teach" a computer how to do addition? +3.90
OCaml: Tree functions +1.81
Memory-efficient way of computing the median of a large data set? +2.87
Ocaml: Set current working directory? 0.00
What very large functional language projects are freely available? -0.07
Why would a language NOT use Short-circuit evaluation? +0.26
How un-portable is assembly language, /really/? +2.19
Static libraries in version-cross-compiled program -0.27
Dynamic slicing in C/C++ +1.49
What other OCaml top level programs exist? (Vista) +0.15
What does it mean to say a type is "boxed"? +0.43
x86 Assembly, misleading Error -1.83
C: Behaviour of the `const` keyword -3.48
a language for semantic analysis? -1.30
a language for semantic analysis? -3.97
Intel x86 assembly optimization techniques in a sample problem -0.72
Does != have meaning in OCaml? -1.00
Looking for a free source code analyzer (Function depedency tree) -1.93
Any risks using Macports? -2.02
Do formal methods of program verfication have a place in industry? -1.22
Catching overflow of left shift of constant 1 using compiler warning? 0.00
JML Evaluation of \old(Expression[Id]) 0.00
Design by Contract in C for use in Automated Theorem Proving 0.00
Dead code detection in legacy C/C++ project 0.00