StackRating

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

Makarius

Rating
1494.00 (4,309,606th) 		Reputation
1,917 (87,180th)
Page: 1 2
Title Δ
SML datatypes in 32 bit linux and 64 bit linux 0.00
Is it possible to not import any theory in Isabelle? 0.00
Running Standard ML on Windows 0.00
Does SML (Poly) have a CL-like REPL? 0.00
SML: What's the difference between using abstype and using a signat... 0.00
GUI in Java, Backend in SML? 0.00
Is jEdit usable as an IDE? 0.00
Does functional programming take up more memory? 0.00
ML IDE and Compiler for Windows or Linux 0.00
BigInt for Standard ML/NJ 0.00
What functional language implementations allow threads to run in pa... 0.00
Using ML in "Real-World" Applications 0.00
Has anybody used a proof assistant to prove soundness of a typed pr... 0.00
Interactive math proof system 0.00