🗳️ Secure and Verifiable Online Voting Platform

｢ A key factor in our decision was OCaml's ability to compile to JavaScript using js_of_ocaml, which has proven invaluable in enabling sophisticated client-side functionality. This capability has allowed us to maintain type safety across our client-server boundary while building modern web interfaces, giving us the best of both worlds in terms of security and user experience ｣

https://ocaml.org/success-stories/secure-and-verifiable-online-voting-platform

#ocaml #javascript

🐫 Writing a Game Boy Emulator in OCaml • linoscope

｢ For the past few months, I have been working on a project called CAMLBOY, a Game Boy emulator written in OCaml that runs in the browser. You can try it out on the following demo page: https://linoscope.github.io/CAMLBOY ｣

https://linoscope.github.io/writing-a-game-boy-emulator-in-ocaml/

#ocaml #gameboy #emulation #retrogaming

tori will be rewritten in another programming language. But which one? The contenders are OCaml, Haskell and Rust and the decision will be made by implementing a simplistic subset of its functionality in an experimental project called iganaq.

For more details, the reasons behind the rewrite and the candidate languages, see the announcement here:

https://tori.jutty.dev/updates/iganaq

Or go straight to the code, where the OCaml implementation is almost done already:

https://brew.bsd.cafe/tori/iganaq

#programming#OCaml#Haskell#Rust