A demo showing a Solo5 unikernel hosting the MirageOS www-htdocs on a Raspberry Pi
A demo showing a Solo5 unikernel hosting the MirageOS www-htdocs on a Raspberry Pi
I have had the pleasure of attending some great conferences over the past year, where I have presented some of the latest and most exciting…
We are happy to announce a new release of Alt‑Ergo (version 2.5.1). Alt-Ergo is a cutting-edge automated prover designed specifically for mathematical formulas, with a primary focus on advancing program verification. This powerful tool is instrumental in the arsenal of static analysis solutions su...
The OCaml community participated in the May 2023 round of Outreachy internships. Three interns worked on a range of projects including: MIDI over ethernet, persistent storage in MirageOS and improving error reporting in existing ppxlib-based ppxs....
The OCaml community participated in the May 2023 round of Outreachy internships. Three interns worked on a range of projects including: MIDI over ethernet, persistent storage in MirageOS and improv...