StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

gallais

Rating
1490.69 (4,404,676th)

Reputation
9,342 (16,489th)

Page: 1 2 3 4 5 6

Title	Δ
Coq execution difference between ";" and "."	0.00
Agda's standard library Data.AVL.Sets containing Data.String as...	0.00
Type families causes ambiguous variable error	0.00
simple ocaml graphics progam that close before its window is displa...	+0.45
CPS in OCaml: type doesn't check	0.00
Why is toList (1, 2) == [2]	-3.64
Can theorems in coq (or in general) be proven without the use of pr...	+4.19
Why can I not load my Haskell file into ghci via terminal?	0.00
I need help defining a concatenation in Coq	+0.23
Expressing a hierarchy within a type-system with ADT and (possibly)...	0.00
Get Nth element from binary tree in Haskell	-3.94
Decrypting return of function in OCaml	+4.03
Reading user mouseclick position in haskells gloss	0.00
from where it getting second argument in agda?	0.00
I find myself reversing accumulators at the end of most functions;...	+0.13
Inductive subset of an inductive set in Coq	-3.92
Formalising regular expressions with a complement operation	+2.85
why this code is not working in agda?	0.00
Detect window closing OCaml Graphics	0.00
How to define unspecified constants in Coq	0.00
How to switch the current goal in Coq?	0.00
Given a starting set of nodes and a successors function (node ->...	0.00
Retrieve hidden type of a phantom type	0.00
How is "less than" defined for real numbers in Coq?	+4.14
Haskell: ByteString issue when I use getArgs	0.00
Having trouble with matching type in Haskell (generateTrees)	+4.24
How to auto prove simple inequality of real numbers in Coq?	0.00
How to simplify real number terms in Coq?	0.00
Is there a way to emulate linear types in Haskell?	+1.69
Nat type with difference list	0.00
How to execute a computation exactly once in Coq?	+4.33
Traversing a tree in a special way	+4.30
Using Idris to Model State Machine of Open-Close Door	0.00
Defining interval function in Coq	0.00
Definition of normal form in coq	-3.97
Stuck in infinite loop in ocaml while calculating Pi approximation...	-3.88
Building a palindrome from a base string using Haskell	0.00
Well founded recursion in Coq	+4.72
Recursion-schemes generalization of `tails`	-2.41
Check if a tree is a BST using a provided higher order function in...	0.00
How do we know all Coq constructors are injective and disjoint?	-3.35
Num and Integral type classes - Haskell	-2.78
Haskell multifilter	-1.49
How to obtain a list of values from a Data.AVL.Tree?	-4.13
Constrain elements of a type-level list in Haskell	+3.91
Simple Recursion in Haskell	0.00
Customize indentation width in haskell-indentation mode	+4.21
Is a state monad with two state variable types (in and out) still a...	0.00
How do I pad string representations of integers in Haskell?	+0.58
Define an inductive dependent-type with constraints on the type-par...	+4.11