Tootfinder

As an OCaml and GameBoy enthusiast, this is a great writeup.
https://linoscope.github.io/writing-a-game-boy-emulator-in-ocaml/

Writing a Game Boy Emulator in OCaml
For the past few months, I have been working on a project called CAMLBOY, a Game Boy emulator that runs in the browser.

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
Ion Chirica, M\'ario Pereira
https://arxiv.org/abs/2506.20310 h…

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
Albeit being a central notion of every programming language, formally and modularly reasoning about iteration proves itself to be a non-trivial feat, specially in the context of higher-order iteration. In this paper, we present a generic approach to the specification and deductive verification of higher-order iterators, written in the OCaml language. Our methodology follows two key principles: first, the usage of the Gospel specification language to describe the general behaviour of any iterati…