Hacker News new | past | comments | ask | show | jobs | submit | from login

Z3 : An LLVM backed runtime for OCaml (raph-amiard.github.com) 61 points by Raphael_Amiard on Nov 17, 2012 | past | 19 comments ClojureScript/Lua 0.1 alpha released (raph-amiard.github.com) 3 points by Raphael_Amiard on Aug 1, 2012 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: