StackRating

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

Matt

Rating
1498.21 (3,869,647th)
Reputation
2,904 (58,216th)
Page: 1 2
Title Δ
Syntax for a function with (’a * ’b) list → (’b * ’a) list -4.13
React Router 4 with optional path AND optional parameter -3.59
How to generate bundle.js for existing react app created using `cre... 0.00
React-Router v4 shared layout re-renders -4.12
SML compiler source code? 0.00
Error: Cannot read property 'UIAppFonts' of null 0.00
Components using Date objects produce different snapshots in differ... -3.70
coq: elimination of forall quantifier +3.89
Is it possible to create a `HashMap` keyed by something of type `*c... +4.59
Haskell read function report error couldn't match expected type 0.00
How to display full file name in lldb 0.00
SVG parsing and data type +3.84
Collapsing a 3d matrix across one of the dimensions to make a 2d ma... 0.00
Installing gtk3 for Haskell (GHCJS) 0.00
rewrite works for = but not for <-> (iff) in Coq 0.00
How to disable non-standard features in SML/NJ 0.00
How to fix this SML code to work as intended? +0.24
SML: Polymorphic function that calls another instantiation of itself 0.00
SML not detecting OS on OS X El Capitan -0.75
How would I prove that b = c if (andb b c = orb b c) in coq? -2.25
how I can implements multiFilter with datatype list in ML +0.57
Aquamacs File mode specification error 0.00
How to convert a recursive function into a tail recursive one in SML? 0.00
Cabal install gtk failing 0.00
How can I locate the element of an array that is nearest to some nu... -2.54
Standard ML: Simplifying Recursive Calls 0.00
Standard ML: Size of binary tree computed incorrectly? +4.27
Standard ML: Modify depth function for binary tree 0.00
Standard ML: Binary Tree Datatype 0.00
Streams chapter in Okasaki's Purely Functional Data Structure 0.00
Haskell prelude generic functions out of scope 0.00
Installing SML/NJ library 0.00
The usage of before in ML 0.00
Standard ML: BubbleSort with Arrays 0.00
Standard ML: Lookup Function in Binary Search Tree 0.00
Standard ML: Basic Conversion to Uppercase Character 0.00
Get further solutions to a query 0.00
Prolog script not loaded properly 0.00
Use two monads without a transformer -3.57
Lambda Calculus Reductions +3.88
Deleting Columns Between Two Bounds in Matrix in Matlab? 0.00
Efficient way to write ordering instances? -3.92
Is this production: "expr -> {print ('+')} expr + t... +1.15
OCaml error filter list using higher order functions +0.72
AST traversal functions 0.00
What do @ and ! mean? -0.08
Haskell - Regex Strange behaviour 0.00
In coq, how to do "induction n eqn: Hn" in a way that doe... -3.99
Context Free Grammar BNF -3.68
How do I wrap a Matlab library without polluting my path variable? 0.00