StackRating

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

Pierre Carbonnelle

Rating
1483.44 (4,480,983rd) 		Reputation
1,005 (154,163rd)
Page: 1
Title Δ
Use of non-ascii strings in defining z3 variablels and types +0.55
radio buttons won't check / uncheck 0.00
Are there formal systems that allow you to make human-like higher-o... 0.00
Google Cloud Build - source-context.json SHA mismatch 0.00
Datalog with negation in Z3 0.00
SLD resolution tree, Which predicate applies to give first re-solvent -4.25
Static typing in pyDatalog: Possible? 0.00
How to retract rules from pyDataLog 0.00
Does pyDatalog have a "cut" operator like prolog? 0.00
Datalog: Why does (X==False) & (Y==not(X)) not evaluate? +4.36
how to define a class with a type family -3.13
How to store tree aggregates 0.00
how can I pipe two echo in one line? -3.85
how to write a parser that does not consume space? 0.00
How to create arithmetic predicates in pyDatalog? 0.00
How to create dynamic arithmetic facts in pyDatalog? 0.00
Maximum minimum and mean in Datalog -3.93
External Firebase communication to Elm via Ports? 0.00
how can I install "elm-light" on windows? +4.07
Usage of Pydatalog Aggregate Functions 0.00
how to divide a large Elm program into smaller components -3.17
Simple program compiled without error gives a white page on Windows 0.00
how to read content of contentEditable div? -4.36
Dependency Graph Resolving with pyDatalog 0.00
Can pyDatalog be used to check if all data dependencies are satisfi... 0.00
Why does creating a relationship in pyDatalog seem to give me the w... 0.00
Fatal error in launcher: Unable to create process using '"... -0.74
PyDatalog: list of values in answer 0.00
can I use threading.local with concurrent.futures? 0.00
pyDatalog: 'object is incompatible with the class queried' when ask... +0.02
pyDatalog: is it possible to define multiple independent datalog se... 0.00
Using pyDatalog for constraint stores 0.00
pyDatalog: handling unbound variables in a custom predicate 0.00
Loading a datalog program in a file into pyDatalog 0.00
Can't get Coverage to work in PyDev, "File has no statistics&q... 0.00
Pickling a "interned" object -2.15
SQL Alchemy and CX_Oracle Reflection Issue 0.00
Relational/Logic Programming in Python? 0.00
Circular import dependency in Python 0.00
How do you retrieve the tags of a file in a list with Python (Windo... 0.00
Why hasn't logic programming caught on? 0.00
Multi-Core and Concurrency - Languages, Libraries and Development T... 0.00