search for: gecod

I''m trolling for example RSpec code. Any pointers appreciated. Cheers, Obie

Hello, The Mozart-Oz isn't suitable for our project beacause of disappointing "raw" performances : http://shootout.alioth.debian.org/gp4/benchmark.php?test=all&lang=al http://www.gecode.org/benchmarks.html I have found a very interesting language : http://www.ps.uni-sb.de/alice/ Concurrency, logic verification I found this link : http://www.cminusminus.org with a front-end for ML Is it possible to do the same thing for llvm. What is the best framework ? : c-- or llvm Thank...