Search: github.com/JoshuaPurtell | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Lithe – A Web Framework for Lean4 (github.com/JoshuaPurtell)

4 points

4 months ago

2.

Engine-Bench: Evaluating Coding Agents on Writing Game Engine Code (github.com/JoshuaPurtell)

2 points

4 months ago

3.

Engine-Bench: Benchmarking Coding Agents on TCG Game Engine Tasks (github.com/JoshuaPurtell)

2 points

5 months ago