#ocaml — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #ocaml, aggregated by home.social.
-
The #OCaml Weekly News for 2026-05-12 is out
-
The #OCaml Weekly News for 2026-05-12 is out
-
The #OCaml Weekly News for 2026-05-12 is out
-
The #OCaml Weekly News for 2026-05-12 is out
-
I'm really pleased to announce the next version of Miou (0.6.0) here: https://discuss.ocaml.org/t/ann-miou-a-simple-scheduler-for-ocaml-5/12963/18. Step by step, we build reusable pieces of #OCaml libraries and it's nice to see results all together. Thanks for all contributors on these various projects.
-
I'm really pleased to announce the next version of Miou (0.6.0) here: https://discuss.ocaml.org/t/ann-miou-a-simple-scheduler-for-ocaml-5/12963/18. Step by step, we build reusable pieces of #OCaml libraries and it's nice to see results all together. Thanks for all contributors on these various projects.
-
I'm really pleased to announce the next version of Miou (0.6.0) here: https://discuss.ocaml.org/t/ann-miou-a-simple-scheduler-for-ocaml-5/12963/18. Step by step, we build reusable pieces of #OCaml libraries and it's nice to see results all together. Thanks for all contributors on these various projects.
-
I'm really pleased to announce the next version of Miou (0.6.0) here: https://discuss.ocaml.org/t/ann-miou-a-simple-scheduler-for-ocaml-5/12963/18. Step by step, we build reusable pieces of #OCaml libraries and it's nice to see results all together. Thanks for all contributors on these various projects.
-
I'm really pleased to announce the next version of Miou (0.6.0) here: https://discuss.ocaml.org/t/ann-miou-a-simple-scheduler-for-ocaml-5/12963/18. Step by step, we build reusable pieces of #OCaml libraries and it's nice to see results all together. Thanks for all contributors on these various projects.
-
Functional pearl: Binding boolean expressions and extended pattern matching. ~ Arthur Charguéraud, Yanni Lefki. https://www.chargueraud.org/research/2026/bbe/bbe-and-extended-matching.pdf #Ocaml #FunctionalProgramming
-
Functional pearl: Binding boolean expressions and extended pattern matching. ~ Arthur Charguéraud, Yanni Lefki. https://www.chargueraud.org/research/2026/bbe/bbe-and-extended-matching.pdf #Ocaml #FunctionalProgramming
-
Functional pearl: Binding boolean expressions and extended pattern matching. ~ Arthur Charguéraud, Yanni Lefki. https://www.chargueraud.org/research/2026/bbe/bbe-and-extended-matching.pdf #Ocaml #FunctionalProgramming
-
Functional pearl: Binding boolean expressions and extended pattern matching. ~ Arthur Charguéraud, Yanni Lefki. https://www.chargueraud.org/research/2026/bbe/bbe-and-extended-matching.pdf #Ocaml #FunctionalProgramming
-
Functional pearl: Binding boolean expressions and extended pattern matching. ~ Arthur Charguéraud, Yanni Lefki. https://www.chargueraud.org/research/2026/bbe/bbe-and-extended-matching.pdf #Ocaml #FunctionalProgramming
-
The #OCaml Weekly News for 2026-05-05 is out
-
The #OCaml Weekly News for 2026-05-05 is out
-
The #OCaml Weekly News for 2026-05-05 is out
-
The #OCaml Weekly News for 2026-05-05 is out
-
The #OCaml Weekly News for 2026-05-05 is out
-
Is anyone going here this weekend? Agda is one of the most innovative game changers in functional programming and theorem proving, given its unique implementation architecture and capabilities. I'd like to meet you there! π🐫λ #CubicalAgda #Rocq #OCaml #Haskell types2026.cse.chalmers.se
TYPES 2026: TYPES 2026 -
The #OCaml Weekly News for 2026-04-28 is out
-
The #OCaml Weekly News for 2026-04-28 is out
-
The #OCaml Weekly News for 2026-04-28 is out
-
The #OCaml Weekly News for 2026-04-28 is out
-
The #OCaml Weekly News for 2026-04-28 is out
-
OCaml Meeting 2026 in Tokyo - connpass https://ocamljp.connpass.com/event/391765/
-
The #OCaml Weekly News for 2026-04-21 is out
-
The #OCaml Weekly News for 2026-04-21 is out
-
The #OCaml Weekly News for 2026-04-21 is out
-
The #OCaml Weekly News for 2026-04-21 is out
-
The #OCaml Weekly News for 2026-04-21 is out
-
I've reworked (and extended) neocaml's huge README into a nice documentation site, powered by MkDocs and Material. Check out https://neocaml.org/ and let me know if you like it and if you feel that something needs to be improved there.
-
I've reworked (and extended) neocaml's huge README into a nice documentation site, powered by MkDocs and Material. Check out https://neocaml.org/ and let me know if you like it and if you feel that something needs to be improved there.
-
I've reworked (and extended) neocaml's huge README into a nice documentation site, powered by MkDocs and Material. Check out https://neocaml.org/ and let me know if you like it and if you feel that something needs to be improved there.
-
I've reworked (and extended) neocaml's huge README into a nice documentation site, powered by MkDocs and Material. Check out https://neocaml.org/ and let me know if you like it and if you feel that something needs to be improved there.
-
I've reworked (and extended) neocaml's huge README into a nice documentation site, powered by MkDocs and Material. Check out https://neocaml.org/ and let me know if you like it and if you feel that something needs to be improved there.
-
I am pleased to announce the launch of our mailing list [email protected]. You can view the announcement here: https://discuss.ocaml.org/t/ann-ptt-a-mailing-list-system-as-unikernel/17987. It brings to fruition all the work we have done on #unikernels and email, all in #OCaml!
-
I am pleased to announce the launch of our mailing list [email protected]. You can view the announcement here: https://discuss.ocaml.org/t/ann-ptt-a-mailing-list-system-as-unikernel/17987. It brings to fruition all the work we have done on #unikernels and email, all in #OCaml!
-
I am pleased to announce the launch of our mailing list [email protected]. You can view the announcement here: https://discuss.ocaml.org/t/ann-ptt-a-mailing-list-system-as-unikernel/17987. It brings to fruition all the work we have done on #unikernels and email, all in #OCaml!
-
I am pleased to announce the launch of our mailing list [email protected]. You can view the announcement here: https://discuss.ocaml.org/t/ann-ptt-a-mailing-list-system-as-unikernel/17987. It brings to fruition all the work we have done on #unikernels and email, all in #OCaml!
-
I am pleased to announce the launch of our mailing list [email protected]. You can view the announcement here: https://discuss.ocaml.org/t/ann-ptt-a-mailing-list-system-as-unikernel/17987. It brings to fruition all the work we have done on #unikernels and email, all in #OCaml!
-
neocaml 0.8 is out with several fixes and small improvements github.com/bbatsov/neoc... neocaml is a modern #Emacs package for programming in #OCaml
Release v0.8.0 · bbatsov/neoca... -
neocaml 0.8 is out with several fixes and small improvements github.com/bbatsov/neoc... neocaml is a modern #Emacs package for programming in #OCaml
Release v0.8.0 · bbatsov/neoca...
