Search: github.com/aetilley | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: An Automated Theorem Proving library inspired by a book by Harrison (github.com/aetilley)

3 points

3 years ago

2.

Show HN: A compiler for the Cool language written in Rust with an LLVM back end (github.com/aetilley)

2 points

a year ago

3.

Artillery: Modern Load Testing Toolkit for HTTP, Socket.io and WebSockets (github.com/shoreditch-ops)

2 points

9 years ago