StackRating

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

akoprowski

Rating
1514.85 (45,753rd) 		Reputation
2,665 (63,415th)
Page: 1 2
Title Δ
Opa / Opalang: Set or access Record field label with binding -0.17
Is it possible to implement a derivative operator in COQ? 0.00
Read a list in the XSD to the list in OCaml and Coq 0.00
Consistent formulations of sets in Coq? 0.00
Opa Executable Not Being Created +3.87
How to parse XML with Opa? 0.00
Opa: What is the difference between modules and packages? +2.07
Packrat parsing (memoization via laziness) in OCaml +0.68
Which IDE to use for Opa programming and how to host Opa code? -2.12
How do I use JavaScript frameworks with Opa +4.14
Managing users with OPA 0.00
Multiple Opa Web Apps On One Server -4.13
generating static pages in OPA -4.22
opa: can't compile hello chat demo (another error) -4.33
How to create a complex URL dispatcher 0.00
Recursive list-constructing parser in Opa +3.82
How to execute queries to the database in Opa? 0.00
How to execute a shell command in Opa? -4.06
What does `true = false` mean in Coq? -3.76
opa: asking user details via a form and save it to a database 0.00
Opa: What Is the Fastest Way to Reverse a String? 0.00
Opa: How to Manually Invalidate a Cached Value 0.00
Opa: How to Efficiently Read/Write a Large Number of Records 0.00
Extending hello_chat: howto mimic session-wide variables +3.78
Opa Syntax Highlighting for Kate 0.00
Opa security and bug fixes 0.00
Data Storage in OPA 0.00
Opa: How to Interact With the Database Without Blocking the UI 0.00
How do I manipulate a lowlevelarray in Opa? 0.00
How do you perform a delayed loop in Opa? 0.00
Mail functionality using OPA 0.00
Modifying a variable in enclosing scope -4.44
OPA custom licenses 0.00
Is Opa's graph-based database available separately? 0.00
How to catch error 0.00
Coq Proof Help - Im stuck :( 0.00
A recursive function to discuss in Ocaml 0.00
Can different OPA apps share Databases? 0.00
How to do cases with an inductive type in Coq +5.05
Can I use something other than XHTML 1.1 in Opa? -4.22
Ocaml libraries for mp3 editing? +3.97
How to define Xor in Coq and prove its properties +1.06
Signature of the declaration of a function in Ocaml +4.18
Secure String.to_int and others 0.00
Why is 'do' needed in the Opa language? -4.13
Access a record, after filtering a list of type sum 0.00
Searching through a list recursively in Coq -2.99
Access a record field -4.29
user defined printer in ocaml +3.79
How to do File I/O in Opa? +3.80