AxEy Karma 68 Created 4 years ago Recent Submissions 1. ▲ Show HN: A compiler for the Cool language written in Rust with an LLVM back end (github.com) 2 points · 8 months ago · 0 comments 2. ▲ Ask HN: Any Prediction Markets hiring developers? 3 points · 2 years ago · 0 comments 3. ▲ Show HN: An Automated Theorem Proving library inspired by a book by Harrison (github.com) 3 points · 2 years ago · 0 comments All submissions on HN · View profile on HN